theorem Th21: :: AFVECT0:21

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