section_heading: Neka svojstva
paragraph_text: Četvrta lema. Ako je <math>r^x \equiv 1 \pmod p </math>, tada <math> x | p - 1 </math>. Dokaz. Pretpostavimo da je <math>2 \leq x \leq p - 3</math> (prema svemu gore navedenome jasno je da vrijedi <math>x \neq 2, x \neq p - 2</math>) najmanji prirodni broj takav da je <math>r^x \equiv 1 \pmod p, x \not\mid p - 1</math>.