Let AtBtCt be the tangential triangle of ABC. Let A', B', C' be the reflections of A, B, C on the opposite sides. The circles {A'BtCt}, {B'CtAt}, {C'AtBt} concur.