theorem :: AFF_2:5

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