Pythagorean Theorem 1.1