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