Proof of Pythagorean Thm.