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