The square of the length of the hypotenuse of any right triangle is equal to the sum of the squares of the lengths of its base and vertical sides.
La kvadrato de la longo de la hipotenuzo de ajna orta triangulo egalas al la sumo de la kvadratoj de la longoj de ĝiaj baza kaj vertikala lateroj.