Siguin P un punt, A'B'C' el seu triangle cevià, Oa, Ob, Oc els circumcentres de PBC, PCA, PAB; Qa, Qb, Qc els circumcentres de PB'C', PC'A', PA'B'. Els triangles OaObOc i QaQbQc són homotètics, i són congruents quan P pertany a la circumferència circumscrita al triangle antimedial.