theorem :: NEWTON05:62

for a being Integer
for n being non zero Nat holds parity (a |^ n) = parity a