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