theorem :: PASCH:9

for OAS being OAffinSpace holds OAS is satisfying_Ext_Par_Pasch by Th8;