令s=1+199j+k。先对i求和,得到负的995平方乘以a^j b^k之和,以及负的1990乘以s a^j b^k之和。第一项因a^j的和为零而消失。第二项中,(1+k)部分对j求和为零,199j部分对k求和为零。因此向量总和为零,构造完成。