简单情况：
考虑其他情况，令\(a\)为第一次减到\(\le C\)的数
不能合法的充要条件为：\(a+(D-B)x-By\in(C,B)\Longrightarrow a+(D-B)x~mod~B>C\)
这题我想的时候一直在关注同余方程\((x,y)\)的有意义值域
因为在题目中，对\(+D\)是有限制条件的，故\((x,y)\)不是任意整数对
但如果由于我们需要的解\(\in(C,B)\)，此时\((x,y)\)一定是合法的
原文：https://www.cnblogs.com/Grice/p/13615733.html