пусть k1,..,ks - натуральные Нод(ki,kj)=1 для любого i,j : i<>j есть си-ма сравнений x=ai mod ki, i=1..s если bi=k1*k2*...*k(i-1)*k(i+1)*...ks существует ci : ci*bi=1 mod ki тогда все решения сис-мы сравнений представимы по формуле x=сумма по i от 1 до S ai*bi*ci + k1*k2*...*ks*k , где k - целое
пусть x - одно из решений которые ты привел. тогда если X+Y тоже решение, то из каждого сравнения вытекает что Y mod ki=0 следовательно т.к. (ki, kj)=1 то Y=k*k1k2k3k4...ks