Pythagorean theorem
which, after simplification, expresses the Pythagorean theorem: