for G being addGroup
for A, B, C being Subset of G holds (A + B) * C c= (A * C) + (B * C)