Add explicit \pmod{p}.