Proof of Pythag Thm