Sean Ba, Ca los simétricos de B y de C respecto de la A-bisectriz. Definimos análogamente Cb, Ab, Ac, Bc. Sean A', B', C' los centros de las circunferencias {ACbBc}, {BAcCa}, {CBaAb}. Las rectas AA', BB', CC' concurren en un punto de la circunferencia circunscrita.