从和的每一项中减去 bbb，恰好补偿了每条链多加的一个“超出”项。
把上一步的裂项恒等式对全部 bbb 条链求和，并与 ∑j=m+1naj=∑j=m+1n(f(j)−j)\sum_{j=m+1}^n a_j=\sum_{j=m+1}^n\big(f(j)-j\big)∑j=m+1naj=∑j=m+1n(f(j)−j) 比较，可以发现 ∑j=m+1n(aj−b)\sum_{j=m+1}^n(a_j-b)∑j=m+1n(aj−b) 恰好等于对 bbb 条链 ccc 求和的 (min{x>n:x∈c}−n)−(min{x>m:x∈c}−m)\big(\min\{x>n:x\in c\}-n\big)-\big(\min\{x>m:x\in c\}-m\big)(min{x>n:x∈c}−n)−(min{x>m:x∈c}−m)：每条链在 nnn 处贡献一个越界项，在 mmm 处贡献一个越界项，而恰好有 bbb 条链，与施加于 n−mn-mn−m 个下标中每一个的 −b-b−b 修正相匹配。