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