theorem Th6: :: GROUP_1A:6

for G being addGroup
for f, g, h being Element of G st ( h + g = h + f or g + h = f + h ) holds
g = f