section_heading: Dokaz
paragraph_text: Pretpostavimo da su neka dva elementa skupa <math> S' </math> kongruenta modulo <math> n, </math> odnosno <math> ak_i \equiv ak_j \pmod n </math> za <math> i \neq j. </math> Tada očito <math> n \mid a(k_i - k_j), </math> no <math> |k_i - k_j| < n, </math> što je kontradikcija.