Sean P un punto, A’ la segunda intersección de la circunferencia {PBC} con la perpendicular por P a BC, B’ y C’ sus análogos. Las rectas AA’, BB’, CC’ concurren.