Let Ba, Ca be the reflections of B, C on the A-bisector and define analogously Cb, Ab, Ac, Bc. The circles {ACbBc}, {BAcCa}, {CBaAb} are congruent.