theorem PLG: :: NEWTON05:43

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