Teorema de Pappus

Elementos dados: dos rectas, a, b, tres puntos A, A', A'' sobre a y tres puntos B, B', B'' sobre b. Elementos construidos a partir de los elementos dados: C = Intersección[Recta[A', B''], Recta[B', A'']] C' = Intersección[Recta[A, B''], Recta[B, A'']] C'' = Intersección[Recta[A, B'], Recta[B, A']]
Proposición a demostrar: los tres puntos construidos, C, C', C'' son colineales (están sobre una única línea recta, p).