Sean r una recta, P su polo trilineal, A'B'C' el triángulo anticeviano de P, Q un punto de r, A", B" y C" las trazas cevianas de Q en A'B'C'. El polo trilineal R de r en A"B"C" pertenece a la recta QP.