Let \({m_1} = \)and \({m_2}\) be two relatively
Prime decomposition. prime integers. This implies \({m_1} = \)
\(p_1^{{\alpha _1}} \ldots p_k^{{\alpha _k}}\) and \({m_2} = q_1^{{\beta _1}} \ldots q_l^{{\beta _l}}\)
with\({p_i} \ne {q_j}\) for any i , j.
Given\(a \equiv b\,\bmod \,{m_1}\)and\(a \equiv b\,\bmod \,{m_2}\),that is\((a - b)\) is divisible by \({m_1}\)and \({m_2}\)
Decompose (a-b) into prime factors and note that \({p_i} \ne {q_j}\) for any i, j.
Then\(\left( {a - b} \right)\) = \(p_1^{{\alpha _1}} \ldots p_k^{{\alpha _k}}q_1^{{\beta _1}} \ldots q_l^{{\beta _l}}\)
Where s is an integer.
Thus \(a \equiv b\bmod {m_1}{m_2}\)