5.5.0.3 [S-1] の場合

この場合は、$\sigma'_i$, $\sigma''_j$ に関する項はすべて消え、

$$\Delta Q_k(\tau) = \vert\sigma_{np}\vert S_{np}$$

となる。$\sigma_{np}$ の世代も $k-1$ 以下なので、 $S_{np}$ は $k$ 以上の世代の項からなり、よって

$$\Delta Q_k(\tau) \leq \vert\sigma_{np}\vert V_k(\tau-)$$

となり、Lemma 7.2 (iii) より (63) が 得られる。