theorem :: AFF_2:11

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