theorem Th54: :: NEWTON:54

for n, m being Nat holds m gcd (m lcm n) = m