Let A', B', C' (resp. A", B", C") be the orthogonal projections of P on the internal (resp. external) bisectors. The circles  {A"B'C'}, {B"C'A'}, {C"A'B'} concur at a point in the circumcircle.