 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$.