Past exam of the options II course of the University of Oxford / 2005 / C / 2 / b / i

Fermat's little theorem states that for a prime $p$ and an integer $a$ not divisible by $p$,Equivalently, $a^p\equiv a(\mathrm{mod}p)$ for every integer $a$, with divisibility by $p$ allowed in that latter formulation.