Bir dik üçgende hipotenüsün karesi, diğer iki kenarın kareleri toplamına eşittir. Bu ifade hangi teoremi tanımlar?