Sean r una recta, P uno de sus puntos, A'B'C' el triángulo pedal de P, A”B”C” el triángulo circunceviano de P en A'B'C'. Sean A*, B*, C* las proyecciones de A, B, C sobre r. Las rectas A*A”, B*B”, C*C” son concurrentes.