Sigui P un punt, A'B'C' el seu triangle pedal. Siguin Oa, Ob, Oc els circumcentres dels triangles AB'C', BC'A', CA'B'. Llavors AOa, BOb, COc són concurrents en el punt P.