Sind m1,…,mkm_1,\dots,m_km1,…,mk paarweise teilerfremd, dann hat jedes System
eine eindeutige Lösung modulo M=m1⋯mkM=m_1\cdots m_kM=m1⋯mk.