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