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