Teorema de Pappus
Sean r y s dos rectas distintas de P_2 y O = r ∩ s. Sean A, B y C tres puntos de r distintos todos de O, y sean A', B' y C' tres puntos de s también distintos de O, entonces los puntos P = AB ∩ A'B', Q = AC ∩ A'C' y T = BC ∩ B'C' están alineados.