theorem ILO: :: NEWTON05:28

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