线性同余方程ax≡b(mod n)等价与存在整数y,使得ax-ny=bx成立