表述

设为互素的整数，b与c为任意整数。那么同余式组：

恰好有一个解。

证明

等价于，带入得。根据线性同余式定理，上式的有唯一解。又，得到。因为是唯一的，所以也是唯一的，定理得证。