Pythagoras proof (Euclid)