Pythagoras\' theorem