Theorems from Elements, Pythagoras' Theorem