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