theorem ThA30: :: GROUP_1A:76

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