Sean $\ell$ y $\ell'$ dos líneas en el plano. Y consideremos
- $A$, $B$ y $C$ tres puntos de $\ell$.
- $A'$, $B'$ y $C'$ tres puntos de $\ell'$.
- Y todos ellos distintos de $\ell \cap \ell'$.
Entonces, los puntos $L=AB' \cap A'B$, $M=AC' \cap A'C$ y $N = BC' \cap B'C$ son colineales.
Nota: Este teorema está postulado para plano proyectivo real, así que, cualquiera de los puntos que aquí se mencionan pueden ser puntos al infinito.