theorem :: GROUP_1A:58

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