Pythagoras proof 1