Sean Ea, Eb, Ec los excentros; Na, Nb, Nc los centros de los nueve puntos de EaBC, EbCA, EcAB. Las circunferencias {NaBC}, {NbCA}, {NcAB} concurren en un punto.