Es esto correcto:
Si $a\equiv b \ \mathrm{mod}(n)$ y $m|n$ y $a\equiv b \ \mathrm{mod}(m)$.
Que $a=q{1}n+r$, $b=q{2}n+r$ y $n=mc$. Entonces tenemos\begin{align} \frac{q{1}mc+r -(q{2}mc+r)}{mc}=\frac{q{1}m+r -(q{2}m+r)}{m}, \end{align} que implica que el $a\equiv b \ \mathrm{mod}(m)$.
Gracias de antemano.