theorem :: AFF_3:4

for AP being AffinPlane st AP is Desarguesian holds
AP is satisfying_DES1_2