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