Sea P un foco de la elipse inscrita que tiene por centro el circuncentro O. La circunferencia pedal de P y la circunferencia de los nueve puntos son tangentes en un punto de la recta de Euler.