Past exam of the options I course of the University of Oxford / 2009 / C / C1 / iii / Solution

Apply Fermat's little theorem and Wilson's theorem in the ring of integers modulo n with modulus $p$. They giveA vanishing modular congruence modulo $p$ is precisely divisibility by $p$, so both divisibilities hold, without requiring $p\nmid a$.