for SAS being Semi_Affine_Space
for a, b, c being Element of SAS holds a,a // b,c