Teorema 6.3.3. Teorema Kecil Fermat.
Misalkan \(p\) sebarang bilangan prima dan misalkan \(p \notdivide a\) (\(p\) tidak membagi \(a\)). Maka
\begin{equation*}
a^{p-1} \equiv 1 \pmod{ p }\text{.}
\end{equation*}
Lebih lanjut, untuk sebarang bilangan bulat \(b\text{,}\) \(b^p \equiv b \pmod{ p}\text{.}\)