:: deftheorem defines satisfying_Int_Bet_Pasch PASCH:def 5 :
for OAS being OAffinSpace holds
( OAS is satisfying_Int_Bet_Pasch iff for a, b, c, d, x, y being Element of OAS st Mid a,b,d & Mid a,x,c & not a,b,c are_collinear holds
ex y being Element of OAS st
( Mid b,y,c & Mid x,y,d ) );