for G being Group
for a, b being Element of G
for k being Element of NAT st ord a > 1 & a = b |^ k holds
k <> 0