pajautā! - Komentāri

1) ja gcd(a,b)=1, tad ar paplašināto Eiklīda algoritmu (angl. - Extended Euclid algorithm) mēs varam izrēķināt tādus x' un y', ka a*x'+b*y'=gcd(a,b)=1, no šejienes arī seko, ka a*x'=1 (mod b).
2) ja gcd(a,b)<>1, tad atrisinājumu nav, jo a*x ir 0 (mod gcd(a,b)), tāpēc arī a*x<>1 (mod k*gcd(a,b)).