Sea I el incentro de ABC, Ia, Ib, Ic los incentros de IBC, ICA, IAB; EA, EB, EC los excentros. Entonces IaEA, IbEB, IcEC concurren.