Sean O, I el circuncentro y el incentro. Una recta perpendicular a OI corta a los lados en A', B', C'. Los circuncentros Oa, Ob, Oc de IAA', IBB', ICC' están alineados.