theorem :: GROUP_4:48

for G being Group
for A being Subset of G
for H1, H2 being Subgroup of G holds (H1 * H2) * A = H1 * (H2 * A)