Let A', B', C' be the feet of the internal bisectors. Let Ab, Ac be the reflections of A' on the B-bisector and the C-bisector, and Ha the orthocenter of A'AbAc, Ja the reflection of Ha on the A-bisector. Define analogously Jb, Jc. The points Ja, Jb, Jc are collinear.