theorem
  OAS is satisfying_Int_Par_Pasch
by Th6;
