Сумма углов прямого треугольника