theorem Th44: :: NEWTON:44

for n, m being Nat holds
( m divides n iff m lcm n = n )