证明必要性：

让n= 2^m-k。

考虑(2^m-k, 2^(m-1)-(k-1))。其中 1<k<2^(m-1)。

其分子是

(2^m-k)(2^m-(k+1))(2^m-(k+2))…(2^m-(2^(m-1)-k))(2^m-(2^(m-1)-k+1))…2^(m-1)

其分母是

(1)(2)…(k-1)(k)(k+1)(k+2)…(2^(m-1)-k)(2^(m-1)-(k-1))

把分子变形得

[2^m-k)(2^m-(k+1))(2^m-(k+2))…(2^m-(2^(m-1)-k))]{2^(m-1)+(k-1)…(2^(m-1)+1)}2^(m-1)

把分母变形得

{(1)(2)…(k-1)}[(k)(k+1)(k+2)…(2^(m-1)-k)](2^(m-1)-(k-1))

分子中的{}与分母中的{}有相同的2因子次数。

分子中的[]与分母中的[]有相同的2因子次数。

这样（2^m-k, 2^(m-1)-(k-1))的奇偶性由

2^(m-1)/(2^(m-1)-(k-1))

决定。

又因1<k<2^(m-1), (k-1)的2因子的次数低于2^(m-1)的2因子的次数。所以，

（2^m-k, 2^(m-1)-(k-1))是偶数。

k=0时, (n,1)是偶数。这就证明了n不等于2^m-1时，至少有一个二次项系数是偶数。这就证明了必要性。