häufig auch einfach als Satz von Fermat bezeichnet, ein Vorläufer des Satzes von Fermat-Euler:

Sei p eine Primzahl. Dann gilt für jede nicht durch p teilbare ganze Zahl a die Beziehung \begin{eqnarray}{\alpha }^{p-1}\equiv 1\,\,\text{mod}\,\,p.\end{eqnarray}