G.GSRT.4c: The square of the hypotenuse of a right triangle is equal to the sum of squares of the other two sides.