theorem :: GROUP_1A:59

for G being non empty addMagma
for A, B, C being Subset of G holds (A \/ B) + C = (A + C) \/ (B + C)