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