Hypoteneuse Leg Theorem