theorem Th1: :: AFVECT01:1

for AFV being WeakAffSegm
for a, b being Element of AFV holds a,b // a,b