一次同余方程

同余下的消去律：设$a,n\in Z,n>0,gcd(a,n)=d$有：$az\equiv a{z}^{\prime }(\mathrm{mod}n)⟹z\equiv z^{\prime }(\mathrm{mod}n/d)$ 一次同余方程有解的条件： 若gcd(a,n)=d,则$ax\equiv b(\mathrm{mod}n)$有解$⟺d|b$