theorem Th32: :: GROUP_1A:78

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
(g + h) + A = g + (h + A)