section_heading: Pronalazak rješenja u reduciranom sustavu ostataka
paragraph_text: Isto tako, kongruencija <math>x^2 \equiv (x + kn)^2 \pmod n</math> je trivijalno zadovoljena pa će biti dovoljno promatrati skup relativno prostih brojeva s <math>n</math> u intervalu <math>[1, n - 1]</math> jer je <math>(1, n) = (n - 1, n) = 1.</math>