theorem Th49: :: NEWTON:49

for n, m being Nat st n divides m holds
n gcd m = n