theorem :: AFF_3:10

for AP being AffinPlane st AP is satisfying_DES1_3 holds
AP is satisfying_DES2_1