将x≡8(mod 15)分成
x≡8≡2(mod 3)
x≡8≡3(mod 5)
后一式可以不要,因含于x≡13(mod 25),最后方程组同解化为
x≡2(mod 3)
x≡5(mod 8)
x≡13(mod 25)