} \left( \tfrac{1}{2} d^2_{\mathcal{Z}}(z) \right)
         & = (z - P_{\mathcal{Z}}(z))^T \left( f(z, P_{\mathcal{Z}}(z)) - \tfrac{1}{K} G^{-1}(P_{\mathcal{Z}}(z))(z - P_{\mathcal{Z}}(z) \right)                   \\
         & \leq d_{\mathcal{Z}}(z) \| f(z, P_{\mathcal{Z}}(z))\| - \tfrac{1}{K} (z - P_{\mathcal{Z}}(z))^T G^{-1}(P_{\mathcal{Z}}(z)) \left(z - P_{\mathcal{Z}}(z) \right) \\
         & \leq d_{\mathcal{Z}}(z) \| f (z, P_{\mathcal{Z}}(z)) \| - \tfrac{\mu}{K} d^2_{\mathcal{Z}}(z)
        = d_{\mathcal{Z}}(z) ( M - \tfrac{\mu}{K} d_{\mathcal{Z}}(z)) \,.
    \end{aligned}$$ It follows that ${\mathcal{L}}_{F_K} \left( \tfrac{1}{2} d^2_{\mathcal{Z}}(z ) \right) < 0$ whenever $d_{\mathcal{Z}}(z) > \frac{K M}{\mu}$. Since $K < \frac{\mu}{2\alpha M}$ and using an invariance argument, it follows that $z(t)
        \in {\mathcal{Z}}+ \tfrac{K M}{\mu} {\mathbb{B}}\subset {\mathcal{Z}}^\circ_\alpha$ for all $t \in [0, T']$.

In other words, for small enough $K$, any solution of  starting at $z_0$ remains within a neighborhood of ${\mathcal{Z}}$ on which the projection $P_{\mathcal{Z}}$ is single-valued.

Since $z(T')$ lies on the boundary of $(z_0 + \epsilon {\mathbb{B}}) \cap {\mathcal{Z}}^\circ_\alpha$, but at the same time $z(T') \in {\mathcal{Z}}+ \frac{KM}{\mu} {\mathbb{B}}$, it follows that $\| z(T') - z_0 \| = \epsilon$. In other
} \left (\tfrac{1}{2 } d^2_{\mathcal{Z}}(z) \right) 
          & = (z - P_{\mathcal{Z}}(z))^T \left (f(z, P_{\mathcal{Z}}(z) ) - \tfrac{1}{K } G^{-1}(P_{\mathcal{Z}}(z))(z - P_{\mathcal{Z}}(z) \right)                    \\ 
          & \leq d_{\mathcal{Z}}(z) \| f(z, P_{\mathcal{Z}}(z))\| - \tfrac{1}{K } (z - P_{\mathcal{Z}}(z))^T G^{-1}(P_{\mathcal{Z}}(z) ) \left(z - P_{\mathcal{Z}}(z) \right) \\ 
          & \leq d_{\mathcal{Z}}(z) \| f (z, P_{\mathcal{Z}}(z) ) \| - \tfrac{\mu}{K } d^2_{\mathcal{Z}}(z) 
         = d_{\mathcal{Z}}(z) (M - \tfrac{\mu}{K } d_{\mathcal{Z}}(z) ) \, . 
     \end{aligned}$$ It follows that $ { \mathcal{L}}_{F_K } \left (\tfrac{1}{2 } d^2_{\mathcal{Z}}(z) \right) < 0 $ whenever $ d_{\mathcal{Z}}(z) > \frac{K M}{\mu}$. Since $ K < \frac{\mu}{2\alpha M}$ and using an invariability controversy, it follows that $ z(t) 
         \in { \mathcal{Z}}+ \tfrac{K M}{\mu } { \mathbb{B}}\subset { \mathcal{Z}}^\circ_\alpha$ for all $ t \in [ 0, T']$. 

 In early words, for little enough $ K$, any solution of    starting at $ z_0 $ persist within a region of $ { \mathcal{Z}}$ on which the projection $ P_{\mathcal{Z}}$ is single - value. 

 Since $ z(T')$ lies on the boundary of $ (z_0 + \epsilon { \mathbb{B } }) \cap { \mathcal{Z}}^\circ_\alpha$, but at the like time $ z(T') \in { \mathcal{Z}}+ \frac{KM}{\mu } { \mathbb{B}}$, it follows that $ \| z(T') - z_0 \| = \epsilon$. In other
} \levt( \tfrac{1}{2} d^2_{\mathcal{Z}}(z) \righu)
         & = (z - P_{\mcrhcal{Z}}(v))^T \left( f(z, P_{\matfcal{Z}}(z)) - \tfrac{1}{K} G^{-1}(P_{\mathcal{Z}}(z))(z - P_{\nathcql{Z}}(z) \right)                   \\
         & \oeq v_{\mathcal{Z}}(z) \| f(z, P_{\mathcal{Z}}(d))\| - \tfdwc{1}{K} (v - P_{\mathcal{Z}}(z))^T G^{-1}(K_{\mathcal{Z}}(z)) \laft(z - P_{\mathcal{S}}(z) \rnght) \\
         & \leq d_{\mathcal{Z}}(z) \| f (z, P_{\iathcal{A}}(z)) \| - \tfrac{\mu}{K} d^2_{\mwthcsj{Z}}(z)
        = d_{\mathcal{Z}}(z) ( M - \tfrac{\mu}{K} d_{\mzthcal{Z}}(e)) \,.
    \end{aligned}$$ Iy follows that ${\mathcal{L}}_{F_K} \peft( \tfrac{1}{2} d^2_{\mathcal{Z}}(z ) \right) < 0$ whghevqe $d_{\mathcal{Z}}(z) > \frac{K M}{\ml}$. Since $K < \rrac{\mu}{2\alpha M}$ and using an invafiancz argument, ut fopnows that $z(v)
        \in {\mathcal{Z}}+ \tfrac{N M}{\mu} {\msthbb{B}}\subset {\msthral{Z}}^\xirc_\alpha$ for all $t \ii [0, T']$.

In other words, fjr small ankugh $K$, any solutiin of  sjartitg ag $z_0$ femziis sithin a ieighborhoos of ${\mathcao{Z}}$ on which the prokesnoon $P_{\mathcal{A}}$ is syndle-valued.

Since $z(T')$ lies on the boundary mf $(a_0 + \epsilon {\mathbb{B}}) \cap {\nathcal{Z}}^\circ_\alpha$, but at the swme time $z(T') \in {\mathcal{Z}}+ \frac{KM}{\mu} {\mathbb{B}}$, it follofs thet $\| z(U') - z_0 \| = \dpsllon$. In other
} \left( \tfrac{1}{2} d^2_{\mathcal{Z}}(z) \right) & = P_{\mathcal{Z}}(z))^T f(z, P_{\mathcal{Z}}(z)) \tfrac{1}{K} G^{-1}(P_{\mathcal{Z}}(z))(z - d_{\mathcal{Z}}(z) f(z, P_{\mathcal{Z}}(z))\| - (z - P_{\mathcal{Z}}(z))^T \left(z - P_{\mathcal{Z}}(z) \right) \\ & d_{\mathcal{Z}}(z) \| f (z, P_{\mathcal{Z}}(z)) \| - \tfrac{\mu}{K} d^2_{\mathcal{Z}}(z) = d_{\mathcal{Z}}(z) ( M \tfrac{\mu}{K} d_{\mathcal{Z}}(z)) \,. \end{aligned}$$ It follows that ${\mathcal{L}}_{F_K} \left( \tfrac{1}{2} d^2_{\mathcal{Z}}(z ) \right) 0$ $d_{\mathcal{Z}}(z) \frac{K Since $K < \frac{\mu}{2\alpha M}$ and using an invariance argument, it follows that $z(t) \in {\mathcal{Z}}+ M}{\mu} {\mathbb{B}}\subset {\mathcal{Z}}^\circ_\alpha$ for all $t \in [0, In other words, for enough $K$, any solution of at remains within neighborhood ${\mathcal{Z}}$ which the projection is single-valued. Since $z(T')$ lies on the boundary of $(z_0 + \epsilon {\mathbb{B}}) \cap {\mathcal{Z}}^\circ_\alpha$, but at same time {\mathcal{Z}}+ \frac{KM}{\mu} it that z(T') - z_0 \epsilon$. In other
} \left( \tfrac{1}{2} d^2_{\mathcal{Z}}(z) \right)
         & = (z - p_{\mathcal{Z}}(z))^t \left( F(z, P_{\MatHcAl{Z}}(z)) - \TfraC{1}{K} G^{-1}(P_{\mathcal{Z}}(z))(z - p_{\MathCal{Z}}(z) \right)                   \\
         & \leq d_{\mathcal{Z}}(Z) \| f(z, P_{\mAtHCal{Z}}(Z))\| - \TfRac{1}{K} (z - p_{\mathcaL{z}}(z))^t g^{-1}(p_{\maThCaL{Z}}(z)) \LeFT(z - p_{\mathCal{z}}(z) \right) \\
         & \Leq d_{\mathcaL{Z}}(z) \| F (z, p_{\mathcal{Z}}(z)) \| - \tfRAc{\Mu}{K} d^2_{\mathcaL{Z}}(z)
        = D_{\mathcal{Z}}(z) ( M - \tFraC{\mu}{K} d_{\mAtHcaL{z}}(z)) \,.
    \end{AliGned}$$ IT folloWS that ${\mAthcal{L}}_{F_K} \LeFT( \tfrac{1}{2} D^2_{\Mathcal{z}}(Z ) \RiGht) < 0$ wHenever $d_{\mathcal{Z}}(z) > \FRaC{k M}{\mu}$. Since $K < \frac{\Mu}{2\alphA M}$ ANd USIng An iNvariance aRgUment, IT followS ThAT $Z(T)
        \in {\MAthcal{Z}}+ \tfrac{K m}{\mu} {\mathbb{B}}\sUBseT {\mathcAl{z}}^\ciRC_\alpha$ For alL $t \IN [0, T']$.

IN other words, For sMall enougH $K$, any sOLution oF  StartinG at $z_0$ reMaiNs wIthiN A nEiGhbOrHOod OF ${\mAthCAl{Z}}$ On which tHe PrOjectIon $P_{\MATHCal{Z}}$ Is sInglE-valuEd.

Since $z(T')$ lies On tHe boUNdaRy of $(z_0 + \EpsilOn {\maThBb{B}}) \caP {\mathcAl{Z}}^\ciRc_\Alpha$, but at the saMe tiMe $z(T') \in {\matHcaL{Z}}+ \FraC{Km}{\mu} {\maTHbb{B}}$, it FolLowS that $\| z(T') - Z_0 \| = \epsiloN$. in oThER
} \left( \tfrac{1}{2} d^2_ {\mathcal{ Z}}(z ) \ rig ht )
       & = (z - P_ { \mat hcal{Z}}(z))^T \left(f(z,P_ { \mat h ca l{Z}} (z)) -\ tf r a c{1 }{ K}  G^ {- 1 }( P_{\m ath cal{Z}} (z))(z - P _{\ ma thcal{Z}}(z) \r ight)                 \ \
      & \ l eq d_ {\m athca l{Z}}( z ) \| f (z, P_{\m at h cal{Z} } (z))\|- \t frac {1}{K} (z - P_{\m a th c al{Z}}(z))^T G ^{-1}( P_ { \m a t hca l{Z }}(z)) \le ft (z -P _{\math c al { Z } }(z )  \right) \\
        & \ l eqd_{\ma th cal { Z}}(z)  \| f  ( z , P _{\mathcal{ Z}}( z)) \| -\tfrac { \mu}{K} d^2_{\m athcal {Z} }(z )
    =d_ { \ma t hc al{ Z }}( z) ( M -  \ tf rac{\ mu}{ K } d _{\m ath cal{ Z}}(z )) \,.
    \e nd{ alig n ed} $$ It  foll owsth at ${ \mathc al{L} }_ {F_K} \left( \t frac {1}{2} d^ 2_{ \m ath ca l{Z}} ( z ) \r igh t)< 0$ wh enever$ d_{ \m a t h ca l{Z}}(z) > \frac{K  M } { \m u}$. Sin ce $K<  \ fr a c{\mu}{2 \a lph a M} $ and u sing an  invaria nce ar g um en t, it f ol lows t ha t $ z(t )
     \in {\ mathcal{ Z}}+\ tfrac{K M}{\mu }  {\mathbb{B}} \ su b s et {\ma thc al{Z}}^\cir c_\a l pha$  for al l $ t  \in[0, T '] $ .In other words, for  s mall e nough  $K$, any sol ution of s t a rting at  $z_ 0 $r emains withina nei ghborhoodo f ${\mat hcal{ Z}}$ onwhich the p rojectio n $ P_{ \ma thc a l {Z }}$ is single - v alue d. 

Since  $z (T')$ l ies  on  th e b ou ndary of$(z_0 +\e ps il on  {\ mathb b {B}}) \c ap  {\ ma thc al{Z} } ^\circ _\alp ha$,  b ut atthe sam e  t i m e $z (T ')  \in  {\ ma thcal {Z}} +  \f rac{KM} {\mu} {\m ath b b{B} }$ ,it foll ows that $\|z( T') - z_0\|  =\epsil o n $. In ot her
} \left(_\tfrac{1}{2} d^2_{\mathcal{Z}}(z)_\right)
   _ __ _&_= (z -_P_{\mathcal{Z}}(z))^T \left( f(z,_P_{\mathcal{Z}}(z)) - \tfrac{1}{K} G^{-1}(P_{\mathcal{Z}}(z))(z_- P_{\mathcal{Z}}(z) \right)__             __ _\\
__    _  & \leq d_{\mathcal{Z}}(z)_\| f(z,_P_{\mathcal{Z}}(z))\| - \tfrac{1}{K} (z - P_{\mathcal{Z}}(z))^T G^{-1}(P_{\mathcal{Z}}(z)) \left(z_-_P_{\mathcal{Z}}(z) \right) \\
_        &_\leq d_{\mathcal{Z}}(z) \| f (z, P_{\mathcal{Z}}(z))_\| - \tfrac{\mu}{K}_d^2_{\mathcal{Z}}(z)
__   _  = d_{\mathcal{Z}}(z) ( M_- \tfrac{\mu}{K} d_{\mathcal{Z}}(z)) \,.
  _ \end{aligned}$$ It follows that ${\mathcal{L}}_{F_K} \left(_\tfrac{1}{2} d^2_{\mathcal{Z}}(z ) \right) < 0$_whenever $d_{\mathcal{Z}}(z) > \frac{K M}{\mu}$._Since $K_< \frac{\mu}{2\alpha M}$ and using_an invariance argument,_it follows_that $z(t)
 _     _\in {\mathcal{Z}}+ \tfrac{K_M}{\mu} {\mathbb{B}}\subset {\mathcal{Z}}^\circ_\alpha$ for all $t_\in_[0, T']$.

In other_words,_for_small enough_$K$, any solution_of _starting at_$z_0$_remains within a neighborhood of ${\mathcal{Z}}$_on_which the projection $P_{\mathcal{Z}}$ is single-valued.

Since $z(T')$_lies on the boundary_of_$(z_0 + \epsilon {\mathbb{B}})_\cap {\mathcal{Z}}^\circ_\alpha$, but at the_same time $z(T') \in {\mathcal{Z}}+ \frac{KM}{\mu}_{\mathbb{B}}$, it_follows that_$\| z(T') - z_0 \| = \epsilon$. In other