theorem :: NEWTON:46

for m being Nat holds m lcm 1 = m