Let Ba, Ca be the reflections of B, C on the A-bisector and define analogously Cb, Ab, Ac, Bc. Let A', B', C' be the centers of the circles {ACbBc}, {BAcCa}, {CBaAb}. The lines AA', BB', CC' concur at a point in the circumcircle.