theorem Th6: :: AFVECT0:6

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