23.37. 23. Теорема Піфагора