Pythagorean theorem
into the form of the Pythagorean theorem: