因子 (x−i)(x-i)(x−i) が両辺で消されずに残ると、x=ix=ix=i は明らかな実数解となってしまう。
両辺には共通の1次因子 (x−1),…,(x−2016)(x-1),\dots,(x-2016)(x−1),…,(x−2016) が 201620162016 個ある。もしそのうちのどれか、例えば (x−i)(x-i)(x−i) が両辺で手つかずのまま残れば、x=ix=ix=i が得られる方程式の解になってしまう。したがって、すべての (x−i)(x-i)(x−i) について少なくとも1つのコピーを消去しなければならず、合計で少なくとも 201620162016 個の因子を消去する必要がある。