theorem :: AFPROJ:49
for AS being AffinSpace st IncProjSp_of AS is Pappian holds
AS is Pappian