Sean Ba, Ca los simétricos de B y de C respecto de la A-bisectriz. Definimos análogamente Cb, Ab, Ac, Bc. Las circunferencias {ACbBc}, {BAcCa}, {CBaAb} son congruentes.