Pythagorean Theorem 9