现有关于 c1,...,cnc_1,...,c_nc1,...,cn 的不定方程 x1c1+x2c2+...+xncn=mkx_1c_1+x_2c_2+...+x_nc_n = mkx1c1+x2c2+...+xncn=mk,那么当 gcd(x1,x2,...,xn)∣m\gcd (x_1, x_2, ..., x_n)|mgcd(x1,x2,...,xn)∣m 时,方程有解,请问这是为什么?