Точка пересечения высот DK и FH треугольника DEF является центром вписанной в него окружности. Докажите, что треугольник DEF равносторонний.