5.6.0.4 [S-2] の場合

この場合、

$$\Delta Q_k(\tau) = I^k_j + \vert\sigma_{np}\vert S_{np}, \hspa... ...sigma''_j\vert\bar{S}_j - \vert\sigma'_j\vert S'_j - \vert\sigma''_j\vert S''_j$$

となるが、$k'$, $k''$, $Go(\sigma'_j+\sigma''_j)$ はいずれも $k-1$ なので、 $\bar{S}_j$, $S'_j$, $S''_j$ はすべて $k$ 世代以上、 よって 5.5 節の [S-2] と同じで $I^k_j\leq 0$ と なる。 よって、

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

と Lemma 7.2 (iii) により (68) の 1 本目が得られる。