theorem :: NEWTON:59

for n, m being Nat st m > 0 & n > 0 holds
m lcm n > 0