Sigui A'B'C' el triangle cerclecevià de P, i siguin Oa, Ob, Oc els circumcentres de PBC, PCA, PAB. Sigui A" el simètric de A' respecte Oa, i anàlogament B", C". Llavors AA", BB", CC" són concurrents i A", B", C", P són concíclics.