for IPP being 2-dimensional Desarguesian IncProjSp
for A being LINE of IPP holds id (CHAIN A) is Projection of IPP