費馬小定理（不要與費馬大定理混淆）指出，如果 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} 整除。在模運算的符號中
