Redirecting to Pythagorean theorem