theorem Th62: :: SEMI_AF1:62

for SAS being Semi_Affine_Space
for a, b, c, x, y being Element of SAS st congr a,b,c,x & congr a,b,c,y holds
x = y