Sigui O el circumcentre d'ABC i Oa, Ob, Oc els circumcentres de OBC, OCA, OAB. Les circumferències {OaBC}, {ObCA}, {OcAB} es tallen en l'invers del punt X(265) en la circumferència circumscrita.