MathGloss/P/Pythagorean Theorem