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