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