令 n>Nn>Nn>N。由于 bcbcbc 模 aaa 可逆,选唯一的 xxx 使 0≤x<a0\le x<a0≤x<a 且 xbc≡n(moda)xbc\equiv n\pmod axbc≡n(moda)。于是 m=(n−xbc)/am=(n-xbc)/am=(n−xbc)/a 是整数。