theorem Th35: :: GROUP_3:35

for G being Group
for A, B, C being Subset of G holds (A |^ B) |^ C = A |^ (B * C)