Udowodnić podzielność Marvinx: Dane są liczby całkowite a, b i x takie że a|bx.Wykazać że jeśli a i b są względnie pierwsze to a|x

jc: Jeśli a, b są względnie pierwsze, to ap+bq=1 dla pewnych całkowitych p, q. Mnożymy przez x: xap + xbq = x. a dzieli pierwszy składnik, z założenia dzieli drugi składni, zatem dzieli sumę, czyli x.