Математические теоремы: центр описанной окружности прямоугольного треугольника