Let Fe be a Fermat point of ABC; Oa, Ob, Oc the circumcenters of BCFe, CAFe, ABFe. Then OaObOc is equilateral.