theorem Th3: :: SEMI_AF1:3

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