theorem :: NEWTON05:49

for a being Integer holds parity (Parity a) = parity a