The hypotenuse
squared is the sum of the squares
of the other sides.