theorem Th19: :: AFVECT0:19

for AFV being WeakAffVect
for a, c being Element of AFV ex b being Element of AFV st Mid a,b,c