Can one prove Pappus theorem knowing that projections don't change the cross ratio and that $(A,B;C,D) = (A,B;C,E) \iff D=E$?
I was reading this in exercise 6 they say we can prove Pappus theorem with projections and cross ratio, but they don't quite do it.
Pappus theorem is this: Given $A,B,C$ colinear in $r$ and $D,E,F$ colinear in $s$, then $X = AE \cap BD, Y =BF \cap CE, Z= CD \cap AF$ then $X,Y,Z$ are colinear. They hint use to define $P = BF \cap DC$ and $Z' = XY \cap CD$.

This is a proof using cross ratios from S. Dobos Cross ratio in use, The Mathematical Gazette, Vol. 95, No. 534 (November 2011), pp. 444-453: