theorem :: AFF_2:8

for AP being AffinPlane holds
( AP is satisfying_pap iff AP is satisfying_pap_1 )