theorem :: GROUP_1A:61

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