theorem :: AFF_2:14

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