Linear Congruence

考虑如何求解以下方程 ：

显然可以转化为 ：

有裴蜀定理 :

对于不定方程 \(ax+by=c\)，其有解当且仅当 \(\gcd(a,b)|c\)。

可以发现上述方程有解当且仅当 \(\gcd(a,b)=1\)，故可以转化为 ：