который устанавливает теорему Пифагора