Sigui I l'incentre, A'B'C' el triangle de contacte exterior, A* la segona intersecció de IA' amb la circumferència A-exinscrita. Definim anàlogament B*, C*. Llavors AA*, BB*, CC* són concurrents.