WHERE?

This is a theorem:

The sum of the squares of the lengths of the legs of a right triangle ('a' and 'b' in this case) is equal to the square of the length of the hypotenuse (c).


So,...