theorem :: GROUP_1A:60

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