theorem :: NEWTON05:59
for a, b being Integer holds parity (a lcm b) = parity (a * b)