Центр окружности, описанной около прямоугольного треугольника, находится на гипотенузе этого треугольника