Předpoklad: zkoumáme pouze lichá čísla vyšší než 1
(⇒) Přímo vyplývá z malé Fermatovy věty.
(⇐) Předpokládejme pro spor, že platí pravá strana implikace a n=c⋅d;c,d≥2. Poté cn−1≡1modn, tedy (∃k∈ℤ)(1=cn−1+k⋅n=cn−1+k⋅c⋅d). Z toho plyne c|1, což je spor.