当所有多余条件排除之后，从A′，A″，A‴等及B′，B″，B‴等中剩下来的所有模中，两两互素。于是我们能够确信问题的可能性，并能按上面所描述的方法操作。
于是，出现四个同余式：
z≡17(mod 9)≡-4(mod 5)≡-4(mod 7)≡33(mod 16)。
