theorem :: AFPROJ:47

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