一次同余式的求解

$$ax\equiv b(modm)$$

有解的充要条件是

$$(a,m)|b$$

所有的解为：

$$x\equiv a^{\prime -1}\frac{b}{(a,m)}+k{m}^{\prime }(modm)$$

$a^{\prime -1}$ 是关于 $m^{\prime }$ 的逆元，带 ‘ 的都是约去最大公因数的数字，有 $(a,m)$ 个解

---

6-1 写成整除就能证明

怎么求解？