:: deftheorem defines satisfying_Int_Par_Pasch PASCH:def 1 :
for OAS being OAffinSpace holds
( OAS is satisfying_Int_Par_Pasch iff for a, b, c, d, p being Element of OAS st not p,b,c are_collinear & Mid b,p,a & p,c,d are_collinear & b,c '||' d,a holds
Mid c,p,d );