for a being Real
for n being Nat st n is odd holds
(- a) |^ n = - (a |^ n)