theorem Th64: :: SEMI_AF1:64

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