NWD KK: Jak wykazać, że jeżeli a|m i b|n to NWD(a,b) | NWD(m,n) ?

jc: Jeśli d|m i d|n, to d|NWD(m,n) (takie mamy twierdzenie). Zakładamy, że a|m i b|n. Jeśli d|a i d|b, to d|m i d| n, a wtedy d|NWD(m,n). W szczególności ma to miejsce dla d=NWD(a,b), a więc NWD(a,b) | NWD(m,n).