Prirodan broj nazivamo primitivnim korijenom mod ako je najmanji prirodan broj takav da je djeljivo sa . Koliko postoji neparnih prostih brojeva takvih da nije djeljivo s , gdje je umnožak svih primitivnih korijena mod ?
Prirodan broj $n < p$ nazivamo \emph{primitivnim korijenom} mod $p$ ako je $k = p-1$ najmanji prirodan broj takav da je $n^k - 1$ djeljivo sa $p$. Koliko postoji neparnih prostih brojeva takvih da $S_p - 1$ nije djeljivo s $p$, gdje je $S_p$ umnožak svih primitivnih korijena mod $p$?
nazivamo primitivnim korijenom mod 
ako je 
najmanji prirodan broj takav da je 
djeljivo sa 
nije djeljivo s 
umnožak svih primitivnih korijena mod