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