Let AtBtCt be the tangential triangle of ABC. Let A', B', C' be the reflections of A, B, C on the opposite sides. The lines A'At, B'Bt, C'Ct bound a triangle A"B"C" and the lines AA", BB", CC" concur.