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'. Los puntos A, B, C, A", B", C" están en una cónica tangente a r en Q.