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