theorem Th33: :: GROUP_3:33

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