Wolferman Pythagorean Theorem