From www.cut-the-knot.org/pythagoras/index.shtml
Pythogras Theorem: Proof #p053