Sea A'B'C' el triángulo círculoceviano de P, y sean Oa, Ob, Oc los circuncentros de PBC, PCA, PAB. Sea A" la intersección de A'Oa y BC, y análogamente B", C". Entonces AA", BB", CC" concurren.