线性同余方程

形如 ax 模 m 等于 b 的方程。有解的条件是 b 能被 a 与 m 的最大公约数整除。