Sigui P un punt qualsevol, A'B'C' el triangle circumcevià de P, Oa, Ob i Oc els circumcentres de PB'C', PC'A', PA'B'. Les circumferències per P i A' amb centre en BC, per P i B' amb centre en CA, per P i C' amb centre en AB es tallen en un punt Q de la circumferència circumscrita a ABC.