结论:如果一个数可以被对于a序列中每个数的最大公约数整除,那么它就是好的。
感性证明: 贪心地想,对于a序列中的任意两个数,它们的最大公约数可由这两个数相减得到。 而且显然这个最大公约数完全可以替代掉原来的两个数并成为a序列中的一个新的元素。 这个新的元素就可以和其他元素继续取最大公约数。
给所有数取个最大公约数,这个最大公约数会替代掉整个a序列中的所有元素。