theorem :: AFF_2:15

for AP being AffinPlane st AP is translational holds
AP is satisfying_pap