for OAS being OAffinSpace holds OAS is satisfying_Int_Par_Pasch by Th6;