theorem :: AFF_2:8
for AP being AffinPlane holds
( AP is satisfying_pap iff AP is satisfying_pap_1 )