theorem :: PASCH:7

for OAS being OAffinSpace holds OAS is satisfying_Int_Par_Pasch by Th6;