Радиус окружности, описанной около прямоугольного треугольника, равен 4