theorem :: AFF_2:12

for AP being AffinPlane st AP is Desarguesian holds
AP is Moufangian