theorem Th1: :: SEMI_AF1:1

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