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