theorem Th17: :: PASCH:17

for OAS being OAffinSpace
for a, b, c, d, p being Element of OAS st not p,a,b are_collinear & p,b // p,c & b,a // c,d & p <> d holds
not Mid a,p,d