¿Quién enunció: "El cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos"?