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