Las perpendiculares por A a las cevianas de P cortan a BC en Ab, Ac. Análogamente se definen Bc, Ba, Ca, Cb. Las circunferencias de los nueve puntos de ABC, AAbAc, BBcBa, CCaCb concurren en un punto.