theorem :: AFF_2:6

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