Sean P, Q dos puntos. Las circunferencias {ABC} y {APQ} se cortan en A y A’. Definimos análogamente B’, C’. Las rectas AA’, BB’, CC’ concurren.