令 c=100!c=100!c=100!。原始整除条件首先推出本步列出的两个线性整除关系。若有共同因子整除所有项,就将所有项除以它;这两个推导出的整除关系仍保持。因此可设标准化后的数列最大公因数为 111,最后再恢复共同因子。当 s≥r+2s\ge r+2s≥r+2 时比较 [r,s][r,s][r,s] 与 [r+1,s−1][r+1,s-1][r+1,s−1] 的条件,得到 ar+s∣c(ar+as)a_{r+s}\mid c(a_r+a_s)ar+s∣c(ar+as);s=rs=rs=r 与 s=r+1s=r+1s=r+1 时也可直接得到同一结论。比较 [s,r−1][s,r-1][s,r−1] 与 [s+1,r][s+1,r][s+1,r],得到 r>sr>sr>s 时 ar−s∣c(ar−as)a_{r-s}\mid c(a_r-a_s)ar−s∣c(ar−as)。