Teorema de Pappus

Un teorema clásico de la geometría proyectiva: dadas dos rectas distintas y tres puntos A,B,C en la primera y A',B',C' en la segunda, los tres puntos de intersección de las conexiones cruzadas (por ejemplo AB'∩A'B, AC'∩A'C, BC'∩B'C) son colineales. El teorema se cumple en planos proyectivos coordinatizables sobre un cuerpo conmutativo (planos pappianos).