Pythagoras' theorem