theorem :: NEWTON05:44

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