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