theorem Th7: :: AFF_2:7
for AP being AffinPlane holds
( AP is translational iff AP is satisfying_des_1 )