section_heading: Korisna lema
paragraph_text: Neka su dakle <math> a </math> i <math> n</math> prirodni brojevi. Ako je <math> M(a, n) = 1</math>, tada kongruencija <math> ax \equiv b \pmod n </math> ima jedinstveno rješenje modulo <math> n </math>, tj. ako je <math> S = \{a_1, a_2, ..., a_n\} </math> potpuni sustav ostataka modulo <math> n </math> tada postoji jedinstveni <math> a_i \in S </math> takav da je <math> x \equiv a_i \pmod n </math> rješenje polazne kongruencije.