theorem Th29: :: GROUP_1:30

for i being Integer
for G being Group
for h being Element of G st i <= 0 holds
h |^ i = (h |^ |.i.|) "