可以证明结果不会超过最大的两个数的最小公倍数(如果有的话, 这部分还没做)。
判断无限解可以按上面的方法,另外也可以算所有的数的最大公约数。如果不是1,也就是说这些数不互质,那么一定没办法构成所有的不被这个最大公约数整除的数。当且仅当这种情况会有无限解。