theorem :: AFF_4:50

for AS being AffinSpace st AS is not AffinPlane holds
AS is Desarguesian