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