theorem Th5: :: AFVECT01:5

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