theorem Th23: :: GROUP_4:23

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