Sigui Fe un punt de Fermat d'ABC; Oa, Ob, Oc els circumcentres de BCFe, CAFe, ABFe. Llavors el triangle OaObOc és equilàter.