theorem :: AFPROJ:49

for AS being AffinSpace st IncProjSp_of AS is Pappian holds
AS is Pappian