theorem :: PEPIN:20

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