Sean Aa, Ba, Ca los puntos de contacto de la A-circunferencia exinscrita y los lados, y definimos análogamente Ab, Bb, Cb, Ac, Bc, Cc. Sean A', B', C' los vértices del triángulo de contacto interior. Entonces los puntos C', A', Cb y Ab son concíclicos, el centro de la circunferencia en que están es el punto medio entre el incentro I y el excentro EB, y las rectas C'Ab, A'Cb y BI concurren.