{\displaystyle a_{1}\equiv b_{1}{\pmod {n}}}