for a being natural positive number
for n, m being natural number st n >= m holds
a |^ n >= a |^ m