Sigui A'B'C' el triangle cerclecevià de P, i siguin Oa, Ob, Oc els circumcentres de PBC, PCA, PAB. Sigui A" la intersecció de A'Oa i BC, i anàlogament B", C". Llavors AA", BB", CC" són concurrents.