Sea A'B'C' el triángulo círculoceviano de P, y sean Oa, Ob, Oc los circuncentros de PBC, PCA, PAB. Sea A" el simétrico de A' respecto Oa, y análogamente B", C". Entonces AA", BB", CC" concurren y A", B", C", P son concíclicos.