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