theorem :: NEWTON:52

for m being Nat holds m gcd 0 = m