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