theorem :: NEWTON:51

for m being Nat holds m gcd 1 = 1