theorem :: PASCH:30

for OAS being OAffinSpace holds OAS is satisfying_Int_Bet_Pasch by Th29;