theorem Th35: :: GROUP_1A:236

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