Start with the triangle DEF (here green lines). On each side of it develop an equilateral triangle
and inscribe each of them into a cicle.
Select an arbitrary point on one of the circles (here it is point A). Draw lines from A (here dashed blue lines). Connect points ABC.
Prove that for any starting triangle obtained triangle ABC is equilateral.
