Teorema de Papus

Sean $\ell$ y $\ell'$ dos líneas en el plano. Y consideremos

1. $A$, $B$ y $C$ tres puntos de $\ell$.
2. $A'$, $B'$ y $C'$ tres puntos de $\ell'$.
3. 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.