Sean P, Q dos puntos. La paralela a QA por P corta BC en A' y la paralela a BC por P corta QA en A". Definimos análogamente B', B", C', C". Las rectas A'A", B'B", C'C" son concurrentes.