theorem ILP: :: NEWTON05:25

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