theorem Th11: :: GROUP_5:11

for G being Group
for a, b being Element of G holds <*a*> |^ b = <*(a |^ b)*>