for AS being AffinSpace st AS is not AffinPlane holds
ProjHorizon AS is IncProjSp