原来那个证明中还有一个BUG。

“20的连续表达不能包含这个负整数，它必定是a1或a6。”

20的连续表达不能包含这个负整数是对的。因为如果负项包含在20的表达式中，它一定不是6项和。加上一项将得到一个大于20的表达。但是，这个并不能直结推出负项一定是首尾。比如，有没有可能 a1 + a2 + a3 + a4 = 20 a5 负，a6 正。

负项必须是a1 或 a6 在后面推出负项为-1时很关键。

准备总结一个最简证明。发上来后发现这个BUG。所以删了。

加油。