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