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