theorem Th21: :: PEPIN:21

for i, k being Nat st k > 0 & i is even holds
i |^ k is even