theorem :: NEWTON05:58

for a, b being Integer holds parity (a * b) = (parity a) * (parity b)