Algebraic Proof of Pythagorean Theorem