Teorema de Pappus (dual)
Elementos dados:
dos puntos, A, B, tres rectas a, a', a'' concurrentes en A, y tres rectas b, b', b'' concurrentes en B.
Elementos construidos a partir de los elementos dados:
c = Recta[Intersección[a', b''], Recta[b', a'']]
c' = Recta[Intersección[a, b''], Recta[b, a'']]
c'' = Recta[Intersección[a, b'], Recta[b, a']]