theorem Th6: :: PASCH:6

for OAS being OAffinSpace
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