Si A'B'C' es el triángulo ceviano de P y X la intersección de las circunferencias {PBC'} y {PB'C}  y se definen análogamente Y y Z, entonces A'X, B'Y y C'Z concurren en el complemento del antigonal P/ de P.