(\forall \varepsilon`>0) (\exists \delta \in \Delta)~ t.d. ~S(\delta)-s(\delta)+I^*-I_*=S(\delta)-s(\delta) \leq \frac{\varepsilon`}{2} <\varepsilon`