theorem :: AFPROJ:52
for AS being AffinSpace st IncProjSp_of AS is Fanoian holds
AS is Fanoian