Sean P un punto, A'B'C' el triángulo pedal de P, A”B”C” el triángulo circunceviano de P en A'B'C'. Sean B*, C* las proyecciones de B, C sobre AP. Las rectas B*B”, C*C” se cortan en Xa. Definimos análogamente Xb, Xc. Las rectas AXa, BXb, CXc concurren.