theorem ThB34: :: GROUP_1A:80

for G being non empty addMagma
for A being Subset of G
for g, h being Element of G st G is add-associative holds
(A + g) + h = A + (g + h)