theorem ThB31: :: GROUP_1A:77

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 + B) + g = A + (B + g) by Th10;