Pythagorean Theorem Established