Let $m, n>1$ be coprime integers, and let $a, b$ be arbitrary integers. Then the system of congruences
$$
\begin{aligned}
& x \equiv a \quad(\bmod m), \\
& x \equiv b \quad(\bmod n)
\end{aligned}
$$
has a unique solution modulo mn . A generous hint: Note that since $\operatorname{gcd}(m, n)=1$, Bézout's identity says there exists $u, v \in \mathbb{Z}$ so that $m u+n v=1$. Show that the number $b m u+a n v$ is a solution to the system, and then prove it is unique modulo mn .