Siguin Ea, Eb, Ec els excentres; Ia, Ib, Ic els incentres d'EaBC, EbCA, EcAB. Sigui A' la intersecció de BC i IIa, i definim anàlogament B', C'. Llavors AA', BB', CC' es tallen en un punt alineat amb X(57) i X(173).