Congruència de Fermat
El nombre enter <math>n</math> es diu que satisfà la congruència de Fermat si per tot enter <math>a</math> coprimer amb <math>n</math>, s'esdevé que <math>a^{n-1} \equiv 1 \pmod{n}</math>.
El Petit Teorema de Fermat estableix precisament que tots els nombres primers compleixen la congruència de Fermat. Els nombres no primers que també la compleixen són els nombres de Carmichael.