theorem Th7: :: AFF_2:7

for AP being AffinPlane holds
( AP is translational iff AP is satisfying_des_1 )