$, for all $t \in (t'_0,\infty)$, and so, we have that $\omega \in \cC_{t_0}$. Therefore, it follows that $\{\tau_{\Delta}<t_0\} \subseteq \cC_{t_0}$, from which identity is follows.

\[step:measure\_cC3\] We may assume, without loss of generality, that $$\begin{aligned}
\label{eq:Nontrivial_set_t_0}
\PP^{0,z} (\tau_{\Delta}=t_0) \neq 0,\end{aligned}$$ otherwise we choose $\cN_{t_0}:=\{\tau_{\Delta}=t_0\}$ in, which is a $\cF^0$-measurable set by Remark \[rmk:tau\_Delta\_stopping\_time\]. From the Markov property of the coordinate process and identity, it is clear that $Z^0(t,\omega)=\Delta$, for all $t >t_0$ such that $t\in\DD_+$, and all $\omega\in\cC^3_{t_0}$, and so, the path $Z^0(\cdot,\omega)$ is continuous from the right at $t_0$. We only need to show that the path $Z^0(\cdot,\omega)$ is continuous from the left at $t_0$. We show that there is a set, $\cN_{t_0}\in\cF^0$, of $\PP^{0,z}$-measure zero, such that for all compact sets $K\subset\underline\Omega$, and all $\omega \in \cC^3_{t_0}\backslash \cN_{t_0}$, there is a positive constant, $\delta=\delta(K,\omega)$, such that $$\begin{aligned}
\label{eq:Convergence_process_both_top}
Z^0(t,\omega) \in \underline\Omega\backslash K,\quad\forall\, t\in\DD_+ \hbox{ such that } t_0-\delta<t<t_0,\end{aligned}$$ which is equivalent to the fact that $$\lim_{\stackrel{t\nearrow t_0}{t \in\DD_+}} Z^0(t,\omega) = \Delta,\quad\forall\, \omega \in \cC^3_{t_0}\
$, for all $ t \in (t'_0,\infty)$, and so, we have that $ \omega \in \cC_{t_0}$. Therefore, it follow that $ \{\tau_{\Delta}<t_0\ } \subseteq \cC_{t_0}$, from which identity is take after. 

 \[step: measure\_cC3\ ] We may assume, without loss of generality, that $ $ \begin{aligned } 
 \label{eq: Nontrivial_set_t_0 } 
 \PP^{0,z } (\tau_{\Delta}=t_0) \neq 0,\end{aligned}$$ differently we choose $ \cN_{t_0}:=\{\tau_{\Delta}=t_0\}$ in, which is a $ \cF^0$-measurable set by Remark \[rmk: tau\_Delta\_stopping\_time\ ]. From the Markov property of the coordinate process and identity, it is clean that $ Z^0(t,\omega)=\Delta$, for all $ t > t_0 $ such that $ t\in\DD_+$, and all $ \omega\in\cC^3_{t_0}$, and so, the way $ Z^0(\cdot,\omega)$ is continuous from the right field at $ t_0$. We only need to express that the path $ Z^0(\cdot,\omega)$ is continuous from the left at $ t_0$. We show that there constitute a set, $ \cN_{t_0}\in\cF^0 $, of $ \PP^{0,z}$-measure zero, such that for all compact sets $ K\subset\underline\Omega$, and all $ \omega \in \cC^3_{t_0}\backslash \cN_{t_0}$, there is a positive constant, $ \delta=\delta(K,\omega)$, such that $ $ \begin{aligned } 
 \label{eq: Convergence_process_both_top } 
 Z^0(t,\omega) \in \underline\Omega\backslash K,\quad\forall\, t\in\DD_+ \hbox { such that } t_0-\delta < t < t_0,\end{aligned}$$ which is equivalent to the fact that $ $ \lim_{\stackrel{t\nearrow t_0}{t \in\DD_+ } } Z^0(t,\omega) = \Delta,\quad\forall\, \omega \in \cC^3_{t_0}\
$, fog all $t \in (t'_0,\infty)$, and so, we have that $\omega \in \cC_{t_0}$. Tgerefore, it follows that $\{\tau_{\Delta}<t_0\} \snbsereq \cX_{t_0}$, from which identity is folloas.

\[step:meqsurt\_cC3\] We may assume, without loss kn genzrelity, that $$\begik{aligned}
\labal{eq:Nontrivial_veg_t_0}
\'P^{0,z} (\tau_{\Delta}=t_0) \neq 0,\end{aligned}$$ otherwife we cnolse $\cN_{t_0}:=\{\tau_{\Deltw}=t_0\}$ im, whidh is a $\cF^0$-measurable set by Remark \[rmk:tau\_Velta\_stopping\_tike\]. From the Markov propertj of the coordinate prlcess and ieentyry, it is clexr that $Z^0(t,\omega)=\Delta$, fkr all $t >t_0$ such that $t\in\DD_+$, and xll $\okega\in\cC^3_{t_0}$, qne sl, the path $Z^0(\rdot,\omvga)$ is continmpus frmm the tight at $t_0$. We pnlb newd to show that the peth $Z^0(\cdot,\omega)$ is cogtinuous xrkm the left at $t_0$. Qe show thad thdee ks z xef, $\cN_{t_0}\ij\cF^0$, of $\PP^{0,z}$-meaaure zero, sych that for all cokpwby sets $K\subsst\undewlyne\Omega$, and all $\omega \in \cC^3_{t_0}\backslash \bN_{t_0}$, fhere is a positive conwtant, $\delta=\delta(K,\omegw)$, such thwt $$\begin{aligned}
\label{eq:Convergence_process_both_top}
Z^0(t,\mmega) \kn \bkqdellne\Omega\backslash K,\quad\forall\, t\in\DD_+ \hbox{ such fhst } t_0-\delta<t<t_0,\end{ajigned}$$ whicn ls gquivalent to jhe facc tgat $$\lim_{\stackrel{t\newrrow t_0}{j \in\DD_+}} Z^0(t,\omega) = \Delya,\quad\forall\, \omega \in \cC^3_{t_0}\
$, for all $t \in (t'_0,\infty)$, and have $\omega \in Therefore, it follows which is follows. \[step:measure\_cC3\] may assume, without of generality, that $$\begin{aligned} \label{eq:Nontrivial_set_t_0} \PP^{0,z} \neq 0,\end{aligned}$$ otherwise we choose $\cN_{t_0}:=\{\tau_{\Delta}=t_0\}$ in, which is a $\cF^0$-measurable set by \[rmk:tau\_Delta\_stopping\_time\]. From the Markov property of the coordinate process and identity, it is that for $t such that $t\in\DD_+$, and all $\omega\in\cC^3_{t_0}$, and so, the path $Z^0(\cdot,\omega)$ is continuous from the right $t_0$. We only need to show that the $Z^0(\cdot,\omega)$ is continuous from left at $t_0$. We show there a set, of zero, that for all sets $K\subset\underline\Omega$, and all $\omega \in \cC^3_{t_0}\backslash \cN_{t_0}$, there is a positive constant, $\delta=\delta(K,\omega)$, such that $$\begin{aligned} Z^0(t,\omega) \in t\in\DD_+ \hbox{ that t_0-\delta<t<t_0,\end{aligned}$$ is equivalent to that $$\lim_{\stackrel{t\nearrow t_0}{t \in\DD_+}} Z^0(t,\omega) = \cC^3_{t_0}\
$, for all $t \in (t'_0,\infty)$, and so, we havE that $\omega \In \cC_{t_0}$. theRefOrE, it fOlloWs that $\{\tau_{\Delta}<T_0\} \SubsEteq \cC_{t_0}$, from which identiTy is fOlLOws.

\[sTEp:MeasuRe\_cC3\] We mAY aSSUme, WiThOut LoSS oF geneRalIty, that $$\Begin{alignEd}
\lAbEl{eq:NontriviAL_sEt_t_0}
\PP^{0,z} (\tau_{\DEltA}=t_0) \neq 0,\end{aligNed}$$ OtherwIsE we CHoose $\CN_{t_0}:=\{\Tau_{\DeLta}=t_0\}$ in, WHich is A $\cF^0$-measurAbLE set by rEmark \[rmK:TAu\_deltA\_stopping\_time\]. From THe mArkov property oF the coOrDInATE prOceSs and identItY, it is CLear thaT $z^0(t,\OMEGa)=\DELta$, for all $t >t_0$ suCh that $t\in\DD_+$, ANd aLl $\omegA\iN\cC^3_{T_0}$, And so, tHe patH $Z^0(\CDot,\Omega)$ is contInuoUs from the Right aT $T_0$. We only NEed to shOw that The PatH $Z^0(\cdOT,\oMeGa)$ iS cONtiNUoUs fROm tHe left at $T_0$. WE sHow thAt thERE IS a seT, $\cN_{T_0}\in\cf^0$, of $\PP^{0,Z}$-measure zero, sUch That FOr aLl comPact sEts $K\SuBset\uNderliNe\OmeGa$, And all $\omega \in \cC^3_{T_0}\bacKslash \cN_{t_0}$, TheRe Is a PoSitivE ConstaNt, $\dEltA=\delta(K,\Omega)$, suCH thAt $$\BEGIn{Aligned}
\label{eq:ConvErGENcE_process_Both_toP}
z^0(t,\OmEGa) \in \undeRlIne\omegA\BAckslAsh K,\QUaD\forall\, t\In\DD_+ \hbOX{ sUcH that } t_0-\dElTa<t<t_0,\enD{aLigNed}$$ Which IS equIvalenT to the faCt thaT $$\Lim_{\stackrel{t\neARrow t_0}{t \in\DD_+}} Z^0(t,\oMEgA) = \dElTA,\quaD\foRall\, \omega \in \CC^3_{t_0}\
$, for all $t \in (t'_0,\i nfty)$, an d so,  we  ha ve  tha t $\ omega \in \cC_ { t_0} $. Therefore, it follo ws th at $\{\ t au _{\De lta}<t_ 0 \} \ sub se te q \ cC _ {t _0}$,  fr om whic h identity  is  f ollows.

\[s t ep :measure\_ cC3 \] We may as sum e, wit ho utl oss o f g enera lity,t hat $$ \begin{al ig n ed}
\l a bel{eq: N o nt rivi al_set_t_0}
\PP^{ 0 ,z }  (\tau_{\Delta }=t_0)  \ n eq 0 ,\e nd{ aligned}$$  o therw i se we c h oo s e $\c N _{t_0}:=\{\ta u_{\Delta}= t _0\ }$ in,  w hic h  is a$\cF^ 0$ - mea surable set  byRemark \[ rmk:ta u \_Delta \ _stoppi ng\_ti me\ ].From th eMar ko v  pr o pe rty ofthe coor di na te pr oces s a n d id ent ity,  it i s clear that$Z^ 0(t, \ ome ga)=\ Delta $, f or  all$t >t_ 0$ su ch  that $t\in\DD_ +$,and all $ \om eg a\i n\ cC^3_ { t_0}$,  an d s o, thepath $Z ^ 0(\ cd o t , \o mega)$ is continuo us f ro m the ri ght at $t _0 $ . We onl ynee d to s how t hatt he  path $Z ^0(\cd o t, \o mega)$is  conti nu ous  fr om th e  lef t at $ t_0$. We  show that there isa  set, $\cN_{t _ 0} \ i n\ c F^0$ , o f $\PP^{0,z }$-m e asur e ze r o,  su c h tha t for  a l lc ompact sets $K\subs et \under line\ Omega$, and a ll $\omega \ i n \cC^3_ {t_0 } \b a ckslash \cN_{t _0}$,  there isa  positiv e con stant, $ \delta=\d e l ta(K,\om ega )$,  su cht h at  $$\begin{ali g n ed}\l abel{eq :Co nvergen ce_ pro ces s_b ot h_top}
Z^ 0(t,\ome ga )\i n\un derli n e\Omega\ ba cks la shK,\qu a d\fora ll\,t\in \D D_ +  \h box{ su c ht h at }  t _0 -\de lta <t <t_0, \end { ali gned}$$  which is  eq u ival en tto thefact that $$\ li m_{\stackr el {t\ nearro w t_0}{t \ in\DD_+}} Z^0(t,\omega) = \Delt a,\ quad\ fora ll\, \ome ga\in \c C^3 _ {t_0}\ 
$, for_all $t_\in (t'_0,\infty)$, and so,_we have_that_$\omega \in_\cC_{t_0}$._Therefore, it follows_that $\{\tau_{\Delta}<t_0\} \subseteq_\cC_{t_0}$, from which identity_is follows.

\[step:measure\_cC3\] We_may_assume, without loss of generality, that $$\begin{aligned}
\label{eq:Nontrivial_set_t_0}
\PP^{0,z} (\tau_{\Delta}=t_0) \neq 0,\end{aligned}$$ otherwise we choose $\cN_{t_0}:=\{\tau_{\Delta}=t_0\}$_in,_which is_a_$\cF^0$-measurable_set by Remark \[rmk:tau\_Delta\_stopping\_time\]. From_the Markov property of the_coordinate process_and identity, it is clear that $Z^0(t,\omega)=\Delta$, for_all_$t >t_0$ such_that $t\in\DD_+$, and all $\omega\in\cC^3_{t_0}$, and so, the path_$Z^0(\cdot,\omega)$ is continuous from the right_at $t_0$. We_only_need_to show that the_path $Z^0(\cdot,\omega)$ is continuous from the_left at $t_0$. We show that_there is a set, $\cN_{t_0}\in\cF^0$, of $\PP^{0,z}$-measure_zero, such that for all compact_sets $K\subset\underline\Omega$, and all $\omega_\in \cC^3_{t_0}\backslash_\cN_{t_0}$, there is a positive_constant, $\delta=\delta(K,\omega)$, such_that $$\begin{aligned}
\label{eq:Convergence_process_both_top}
Z^0(t,\omega)_\in \underline\Omega\backslash K,\quad\forall\,_t\in\DD_+ \hbox{ such that } t_0-\delta<t<t_0,\end{aligned}$$_which is equivalent_to the fact that $$\lim_{\stackrel{t\nearrow t_0}{t_\in\DD_+}}_Z^0(t,\omega) = \Delta,\quad\forall\,_\omega_\in_\cC^3_{t_0}\