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