theorem :: AFPROJ:51
for AS being AffinSpace st IncProjSp_of AS is Desarguesian holds
AS is Desarguesian