5.5.0.1 [A-1] の場合

この場合、 $\bar{\sigma}_i$ と $\sigma'_i$, $\bar{\sigma}_j$ と $\sigma''_j$ は符号も世代も同じなので、

$$\Delta Q_k(\tau) = \sum_{\ell\neq i,j}\vert\bar{\sigma}_\ell\vert... ...\vert\sigma'_i\vert)S'_i +(\vert\bar{\sigma}_j\vert-\vert\sigma''_j\vert)S''_j$$

となるが、$\bar{S}_\ell$ も $S'_i$ も $S''_j$ も世代が $k$ 以上の項のみとなる。よっていずれも $V_k(\tau-)$ に含まれ、

$$\Delta Q_k(\tau) \leq\left(\sum_{\ell\neq i,j}\vert\bar{\sigma}_\... ...\sigma}_i-\sigma'_i\vert +\vert\bar{\sigma}_j-\sigma''_j\vert\right)V_k(\tau-)$$

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