theorem :: GROUP_24:85

for G being Group
for g being Element of G
for i, j being Integer st g |^ i = g |^ j holds
g |^ (- i) = g |^ (- j)