for a, b being Nat st a mod 2 = b mod 2 holds
(- 1) |^ a = (- 1) |^ b