theorem Th37: :: GROUP_3:37

for G being Group
for a, b being Element of G holds {a} |^ {b} = {(a |^ b)}