theorem :: AFF_3:9

for AP being AffinPlane holds
( AP is satisfying_DES2 iff AP is satisfying_DES2_2 )