theorem :: PASCH:11

for OAS being OAffinSpace holds OAS is satisfying_Gen_Par_Pasch by Th10;