Sean P un punto; Oa, Ob, Oc los circuncentros de PBC, PCA, PAB. Sea Q el circuncentro de OaObOc. Sean Pa el simétrico de P respecto de Oa y Qa el simétrico de Oa respecto de Q. Definimos análogamente Pb, Qb, Pc, Qc. Las rectas OaQa, ObQb, OcQc son concurrentes.