theorem Th10: :: GROUP_1A:56

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