for i, k being Nat st i is odd holds
i |^ k is odd