theorem Th47: :: NEWTON:47

for n, m being Nat holds m lcm n divides m * n