费马小定理（不要与费马大定理混淆）指出，如果 p {\displaystyle p} 是一个素数，那么对于任何整数 a {\displaystyle a} ， a p − a {\displaystyle a^{p}-a} 将被 p {\displaystyle p} 整除。这可以用模运算的符号表示如下
该定理的一个变体以以下形式给出：如果 p {\displaystyle p} 是一个素数，并且 a {\displaystyle a} 是一个与 p {\displaystyle p} 互质的整数，那么 a p − 1 − 1 {\displaystyle a^{p-1}-1} 将被 p {\displaystyle p} 整除。在模运算的符号中
