theorem Th98: :: GROUP_1A:144

for G being addGroup
for A, B being Subset of G
for H being Subgroup of G holds (H + A) + B = H + (A + B) by Th10;