情形一：若 x∈{1,…,2016}，则 x 会使某一边残留的因子之一为零（因为该范围内每个整数恰好在幸存的因子中出现一次，或在左边或在右边），而另一边没有任何因子为零；因此两边不相等。情形二：若对某个 k∈{0,…,503} 有 4k+1<x<4k+2 或 4k+3<x<4k+4，则对区块 j=k，乘积 (x−4k−1)(x−4k−4) 为负（一个因子为正，一个为负），而对其余每个区块 j=k，乘积 (x−4j−1)(x−4j−4) 均为正；所以左边为负。同时右边的每个因子 (x−4j−2)(x−4j−3) 都是两个同号数的乘积（对两个子区间都可直接验证），因而为正；所以右边为正。负数不可能等于正数。