G3. Pythagoras’ theorem