section_heading: Slučaj kada je <math> a = p - 1 </math>
paragraph_text: Brojevi <math>p - 1, p</math> su relativno prosti za svaki prosti broj <math>p</math>. Naime, pretpostavimo da <math>d|p, d|p - 1, d > 1</math>. No, tada <math>d | p - (p - 1) = 1 </math>, kontradikcija. (Ovo vrijedi za bilo koja dva uzastopna prirodna broja.)