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