theorem :: AFPROJ:52

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