theorem Th22: :: GROUP_4:22

for i being Integer
for G being Group
for a being Element of G holds <*a*> |^ <*(@ i)*> = <*(a |^ i)*>