若一个因子 (x−i)(x-i)(x−i) 在两边都原封不动地保留，则 x=ix=ix=i 显然是一个实数解。
两边共有 201620162016 个相同的一次因子 (x−1),…,(x−2016)(x-1),\dots,(x-2016)(x−1),…,(x−2016)。若其中任何一个，比如 (x−i)(x-i)(x−i)，在两边都原封未动地保留，则 x=ix=ix=i 就是所得方程的一个解。所以每个 (x−i)(x-i)(x−i) 都必须至少擦去一份，即总共至少要擦去 201620162016 个因子。