TeX source:
r\equiv x_{1}{\pmod {n}}