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