Sind $m_1,\dots,m_k$ paarweise teilerfremd, dann hat jedes System
eine eindeutige Lösung modulo $M=m_1\cdots m_k$.