La perpendicular de P a BC talla AB en Ab i AC en Ac. Anàlogament es defineixen Bc, Ba, Ca, Cb. Llavors les circumferències dels nou punts de ABaCa, BCbAb i CAcBc són concurrents.