原來那個證明中還有一個BUG。

“20的連續表達不能包含這個負整數，它必定是a1或a6。”

20的連續表達不能包含這個負整數是對的。因為如果負項包含在20的表達式中，它一定不是6項和。加上一項將得到一個大於20的表達。但是，這個並不能直結推出負項一定是首尾。比如，有沒有可能 a1 + a2 + a3 + a4 = 20 a5 負，a6 正。

負項必須是a1 或 a6 在後麵推出負項為-1時很關鍵。

準備總結一個最簡證明。發上來後發現這個BUG。所以刪了。

加油。