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