Las rectas que unen A, B, C con los puntos de Nagel adicionales concurren en el punto de Gergonne.