N≡a(mod M) N \equiv a (\mod M)N≡a(modM)
N≡b(mod D) N \equiv b (\mod D)N≡b(modD)
若N、a、M、D是定值，且D是M的因数，求证b也是定值
