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