Pythagoras proofs