Sea I el incentro, A'B'C' el triángulo de contacto exterior, A* la segunda intersección de IA' con la circunferencia A-exinscrita. Definimos análogamente B*, C*. Entonces AA*, BB*, CC* concurren.