Sea N el centro de los nueve puntos de ABC; Na, Nb, Nc los centros de los nueve puntos de NBC, NCA, NAB. El circuncentro On de NaNbNc pertenece a la recta de Euler de ABC.