section_heading: Dokaz
paragraph_text: Lema. Neka je <math> S </math> skup svih relativno prostih brojeva s <math> n </math> u intervalu <math> [1, n]. </math> Možemo pisati <math> S = \{k_1, k_2, ..., k_r\}. </math> Za skup <math> S </math> kažemo da je reducirani sustav ostataka modulo n.