for a being Real
for k being Integer st k is odd holds
(- a) to_power k = - (a to_power k)