theorem Th3: :: AFF_2:3
for AP being AffinPlane st AP is Moufangian holds
AP is satisfying_TDES_1