5.6.0.5 [S-3] の場合

この場合は、Lemma 7.2 (iv) より

$$\Delta Q_k(\tau) = (\vert\sigma_{np}\vert-\vert\sigma'_{np}\vert)... ...'_{np}\sigma''_j\vert S_{np} \leq M_1\vert\sigma'_{np}\sigma''_j\vert V(\tau-)$$

となり (68) の 1 本目が得られる。

よってすべての場合で (68) が成り立つことが わかった。よって、 (11), (12), (23) により、

$$\begin{eqnarray*}\lefteqn{\Delta Q_k(\tau)+C_0\Delta Q_{k-1}(\tau)V(\tau-)} \ ... ...gma'_i\sigma''_j\vert V(\tau-)(M_1-C_0+C_0M_1V(\tau-)) \leq 0\end{eqnarray*}$$

が得られる。