rmula_5与 "x" 同余。举例来说，方程中 d = gcd(12,28) = 4 。注意到 formula_6，因此 formula_7是一个解。对模 28 来说，所有的解就是 {4,11,18,25} 。
与线性丢番图方程的关系.考虑formula_8，其等价于formula_9（y是整数），也就是线性丢番图方程。运用辗转相除法可以求得该方程的解，有无限多个；但是在原同余方程中，解的个数受到gcd(a,n)限制，因此正如上面例子所示，只能选取前面的几个解。Sect