The congruence relations $n\equiv~a_1\pmod{m_1},\ldots,n\equiv~a_k\pmod{m_k}$ always have a unique solution for $n\pmod{m_1\cdots~m_k}$ provided no two of the moduli have a common factor.