Si P es un punto de la recta de Euler, el eje radical de la circunferencia de los nueve puntos cn y la circunferencia pedal cp pasa por el punto X(125).