# Theorems and Their Proofs > This note documents some common theorems and the proofs of them. ## Fermat's Little Theorem *if $p$ is a prime number, then for any integer $a$ that is not divisible by $p$, it holds $a^{p-1} \equiv 1 \pmod p$.*