Sean Ea, Eb, Ec los excentros; Ia, Ib, Ic los incentros de EaBC, EbCA, EcAB. Sea A' la intersección de BC y IIa, y definimos análogamente B', C'. Entonces AA', BB', CC' se cortan en un punto alineado con X(57) y X(173).