theorem PAN: :: NEWTON05:46

for a being Integer
for n being Nat holds Parity (a |^ n) = (Parity a) |^ n