section_heading: Neka svojstva
paragraph_text: Zato će, za proučavanje ostataka brojeva u formi <math>r^k</math> (za bilo koji <math>k \in \mathbb{N}</math>) modulo p biti dovoljno promatrati svojstva skupa <math>S</math>. Uočimo još da prvi element skupa <math>S</math>, broj <math>r</math>, ne može davati ostatak 1 modulo p. Upravo ta pojavljivanja ostatka 1 u nizu brojeva <math>r, r^2, r^3, ..., r^{p - 1}</math> će zato određivati cikličku strukturu skupa <math>S</math>, što će se dolje podrobnije objasniti.