La perpendicular de P a BC corta AB en Ab y AC en Ac. Análogamente se definen Bc, Ba, Ca, Cb. Entonces las circunferencias de los nueve puntos de ABaCa, BCbAb y CAcBc concurren.