}}_\delta(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty)=1$. Since $P_{\delta,\delta'}>0$ and $\delta'\neq D^\rho$ imply $\delta'=\delta$, from $P_{\delta,\delta}=\eta$ we get $$(P^* \varphi)_\delta=
\sum_{\delta':\delta'\neq D^\rho, \delta\to \delta'} P_{\delta,\delta'}
{\mathbb{E}}_{\delta'}(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty)=\eta
=\eta\, \varphi_\delta.$$ Now let $\delta$ be such that ${\mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)=0$, so $\varphi_\delta=0$. Then $P_{\delta,\delta'}>0$ implies ${\mathbb{P}}_{\delta'}(\zeta^{{\cal E}}<\infty)=0$ and so $(P^* \varphi)_\delta=0=\eta\, \varphi_\delta$.

Now take $\delta\not\in \partial({{\cal T}})^{{\cal E}}$ with ${\mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)>0$. Then, from the Markov property we get, $$\begin{aligned}
\varphi_\delta&=&
{\mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty)=
\sum_{\delta':\delta'\neq D^\rho, \delta\to \delta'} 
{\mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty, Y_1=\delta')\\
&=&\sum_{\delta':\delta'\neq D^\rho, \delta\to \delta'} 
P_{\delta,\delta'} \; \eta^{-1}\,
{\mathbb{E}}_{\delta'}(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty)
=\eta^{-1}\, (P^* \varphi)_\delta.\end{aligned}$$ Hence, the result is shown. This finishes the proof of the theorem. $\Box$

We will get two results from Theorem \[theo1\]. In the first one we supply the $Q-$process, which is the Markov chain that avoids some forbidden region, in our case the singleton $\{\otimes_{L\in {{\cal D}}^\rho}\mu_L\}$. In the second one we give a class of quasi
} } _ \delta(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty)=1$. Since $ P_{\delta,\delta'}>0 $ and $ \delta'\neq D^\rho$ imply $ \delta'=\delta$, from $ P_{\delta,\delta}=\eta$ we get $ $ (P^ * \varphi)_\delta= 
 \sum_{\delta':\delta'\neq D^\rho, \delta\to \delta' } P_{\delta,\delta' } 
 { \mathbb{E}}_{\delta'}(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty)=\eta 
 = \eta\, \varphi_\delta.$$ Now let $ \delta$ be such that $ { \mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)=0 $, therefore $ \varphi_\delta=0$. Then $ P_{\delta,\delta'}>0 $ entail $ { \mathbb{P}}_{\delta'}(\zeta^{{\cal E}}<\infty)=0 $ and so $ (P^ * \varphi)_\delta=0=\eta\, \varphi_\delta$. 

 Now take $ \delta\not\in \partial({{\cal T}})^{{\cal E}}$ with $ { \mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)>0$. Then, from the Markov place we get, $ $ \begin{aligned } 
 \varphi_\delta&= & 
 { \mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty)= 
 \sum_{\delta':\delta'\neq D^\rho, \delta\to \delta' } 
 { \mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty, Y_1=\delta')\\ 
 & = & \sum_{\delta':\delta'\neq D^\rho, \delta\to \delta' } 
 P_{\delta,\delta' } \; \eta^{-1}\, 
 { \mathbb{E}}_{\delta'}(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty) 
 = \eta^{-1}\, (P^ * \varphi)_\delta.\end{aligned}$$ Hence, the result is picture. This finishes the proof of the theorem. $ \Box$ 

 We will scram two results from Theorem \[theo1\ ]. In the first one we add the $ Q-$process, which is the Markov chain that avoids some forbidden area, in our case the singleton $ \{\otimes_{L\in { { \cal D}}^\rho}\mu_L\}$. In the second one we give a course of quasi
}}_\delha(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\ikfty)=1$. Since $P_{\deltc,\eelta'}>0$ end $\delfa'\neq D^\rfo$ imply $\delta'=\delta$, from $P_{\deptq,\deltq}=\eta$ we get $$(P^* \varphi)_\deuta=
\sum_{\delna':\delta'\new D^\rio, \delta\to \delta'} P_{\delta,\dcjta'}
{\mzbhbb{E}}_{\beota'}(\eta^{-\zeta^{{\cal G}}},\zeta^{{\cal E}}<\inxty)=\eta
=\eta\, \varpvi_\aepta.$$ Now let $\delta$ be such that ${\mathfb{P}}_\delts(\zfta^{{\cal E}}<\infty)=0$, fo $\vswphi_\svlua=0$. Then $P_{\delta,\delta'}>0$ implies ${\mathbg{P}}_{\delta'}(\eeta^{{\cal E}}<\infty)=0$ and so $(P^* \varphi)_\delta=0=\eta\, \varphl_\delha$.

Now take $\delta\noh\in \partial({{\xal E}})^{{\xal E}}$ with ${\mxthbb{P}}_\delta(\zeta^{{\cal E}}<\inrty)>0$. Then, from the Markov propergy we get, $$\begin{qlugnfg}
\varphi_\delte&=&
{\mathbf{E}}_\delta(\eta^{-\zebs^{{\cal E}}},\seta^{{\cal E}}<\infty)=
\sum_{\delts':\denta'\beq D^\rho, \delta\to \delte'} 
{\mathbb{E}}_\delta(\eta^{-\zetw^{{\cal E}}},\zetd^{{\ccl E}}<\infty, Y_1=\delta')\\
&=&\sum_{\deotq':\deltd'\neq D^\rhu, \deuta\uo \velfa'} 
P_{\depta,\velta'} \; \eta^{-1}\,
{\mzthbb{E}}_{\delta'}(\wta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\ybfty)
=\eta^{-1}\, (P^* \varlhi)_\delea.\qnd{aligned}$$ Hence, the result is shown. Thps fjnishes the proof of thw theorem. $\Box$

We will het two rqsults from Theorem \[theo1\]. In the first one we suppny thx $D-$priccss, dyifh is the Markov chain that avoids some forbiqsem gegion, in our casc the singleton $\{\otomfs_{K\yn {{\cal D}}^\rho}\mu_U\}$. In tks aecond one we give a clasf of wuasi
}}_\delta(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty)=1$. Since $P_{\delta,\delta'}>0$ and $\delta'\neq $\delta'=\delta$, $P_{\delta,\delta}=\eta$ we $$(P^* \varphi)_\delta= \sum_{\delta':\delta'\neq E}}},\zeta^{{\cal =\eta\, \varphi_\delta.$$ Now $\delta$ be such ${\mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)=0$, so $\varphi_\delta=0$. Then $P_{\delta,\delta'}>0$ ${\mathbb{P}}_{\delta'}(\zeta^{{\cal E}}<\infty)=0$ and so $(P^* \varphi)_\delta=0=\eta\, \varphi_\delta$. Now take $\delta\not\in \partial({{\cal T}})^{{\cal E}}$ ${\mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)>0$. Then, from the Markov property we get, $$\begin{aligned} \varphi_\delta&=& {\mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal \sum_{\delta':\delta'\neq \delta\to {\mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}<\infty, Y_1=\delta')\\ &=&\sum_{\delta':\delta'\neq D^\rho, \delta\to \delta'} P_{\delta,\delta'} \; \eta^{-1}\, {\mathbb{E}}_{\delta'}(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty) =\eta^{-1}\, (P^* \varphi)_\delta.\end{aligned}$$ Hence, result is shown. This finishes the proof of theorem. $\Box$ We will two results from Theorem \[theo1\]. the one we the which the Markov chain avoids some forbidden region, in our case the singleton $\{\otimes_{L\in {{\cal D}}^\rho}\mu_L\}$. In the second one we a class
}}_\delta(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\iNfty)=1$. Since $P_{\Delta,\DelTa'}>0$ aNd $\DeltA'\neq d^\rho$ imply $\delta'=\DElta$, From $P_{\delta,\delta}=\eta$ we geT $$(P^* \varPhI)_\DeltA=
\SuM_{\deltA':\delta'\nEQ D^\RHO, \deLtA\tO \deLtA'} p_{\dElta,\dEltA'}
{\mathbb{e}}_{\delta'}(\eta^{-\zEta^{{\CaL E}}},\zeta^{{\cal E}}<\inFTy)=\Eta
=\eta\, \varpHi_\dElta.$$ Now let $\deLta$ Be such ThAt ${\mAThbb{P}}_\DelTa(\zetA^{{\cal E}}<\iNFty)=0$, so $\vArphi_\deltA=0$. THEn $P_{\delTA,\delta'}>0$ iMPLiEs ${\maThbb{P}}_{\delta'}(\zeta^{{\cal e}}<\InFTy)=0$ and so $(P^* \varphi)_\Delta=0=\eTa\, \VArPHI_\deLta$.

now take $\delTa\Not\in \PArtial({{\cAL T}})^{{\CAL e}}$ wiTH ${\mathbb{P}}_\delta(\Zeta^{{\cal E}}<\infTY)>0$. ThEn, from ThE MaRKov proPerty We GEt, $$\bEgin{aligned}
\VarpHi_\delta&=&
{\maThbb{E}}_\dELta(\eta^{-\zETa^{{\cal E}}},\zEta^{{\cal e}}<\inFty)=
\Sum_{\dELtA':\dEltA'\nEQ D^\rHO, \dEltA\To \dElta'} 
{\mathBb{e}}_\dElta(\eTa^{-\zeTA^{{\CAL E}}},\zeTa^{{\cAl E}}<\iNfty, Y_1=\Delta')\\
&=&\sum_{\delta':\DelTa'\neQ d^\rhO, \deltA\to \deLta'} 
P_{\DeLta,\deLta'} \; \eta^{-1}\,
{\MathbB{E}}_{\Delta'}(\eta^{-\zeta^{{\cal e}}},\zetA^{{\cal E}}<\inftY)
=\etA^{-1}\, (P^* \VarPhI)_\deltA.\End{aliGneD}$$ HeNce, the rEsult is SHowN. THIS FiNishes the proof of thE tHEOrEm. $\Box$

We wIll get TWo ReSUlts from thEorEm \[thEO1\]. in the FirsT OnE we supplY the $Q-$pROcEsS, which iS tHe MarkOv ChaIn tHat avOIds sOme forBidden reGion, iN Our case the singLEton $\{\otimes_{L\in {{\CAl d}}^\RHo}\MU_L\}$. In The Second one we Give A ClasS of qUAsI
}}_\delta(\eta^{-\zeta^{{\ cal E}}},\ zeta^ {{\ cal  E }}<\ inft y)=1$. Since $ P _{\d elta,\delta'}>0$ and $ \delt a' \ neqD ^\ rho$imply $ \ de l t a'= \d el ta$ ,f ro m $P_ {\d elta,\d elta}=\eta $ w eget $$(P^* \ v ar phi)_\delt a=\sum_{\delta ':\ delta' \n eqD ^\rho , \ delta \to \d e lta'}P_{\delta ,\ d elta'} {\mathb b { E} }_{\ delta'}(\eta^{-\z e ta ^ {{\cal E}}},\z eta^{{ \c a lE } }<\ inf ty)=\eta
= \e ta\,\ varphi_ \ de l t a .$$ Now let $\del ta$ be such tha t ${\m at hbb { P}}_\d elta( \z e ta^ {{\cal E}}< \inf ty)=0$, s o $\va r phi_\de l ta=0$.Then $ P_{ \de lta, \ de lt a'} >0 $  im p li es$ {\m athbb{P} }_ {\ delta '}(\ z e t a ^{{\ cal  E}} <\inf ty)=0$ and so  $( P^*\ var phi)_ \delt a=0= \e ta\,\varph i_\de lt a$.

Now take $ \del ta\not\in  \p ar tia l( {{\ca l  T}})^ {{\ cal  E}}$ w ith ${\ m ath bb { P } }_ \delta(\zeta^{{\ca lE } }< \infty)> 0$. Th e n,  f r om the M ar kov  pro p e rty w e ge t ,$$\begin {align e d} 
\ varphi_ \d elta&= &{\m ath bb{E} } _\de lta(\e ta^{-\ze ta^{{ \ cal E}}},\zeta ^ {{\cal E}}<\i n ft y ) =\ sum_ {\d elta':\delt a'\n e q D^ \rho ,  \ del t a\to\delt a' }  { \mathbb{E}}_\delta( \e ta^{-\ zeta^ {{\cal E}}},\ zeta^{{\ca l E }}<\inft y, Y _ 1= \ delta')\\
&=&\ sum_{ \delta':\d e lta'\neq  D^\r ho, \del ta\to \de l t a'} 
P_{ \de lta ,\d elt a ' }\; \eta^{-1}\ , {\ma th bb{E}}_ {\d elta'}( \et a^{ -\z eta ^{ {\cal E}} },\zeta^ {{ \c al  E }}< \inft y )
=\eta^ {- 1}\ ,(P^ * \va r phi)_\ delta .\en d{ al i gne d}$$ He n ce , there su lt i s s ho wn. T hisf ini shes th e proof o f t h e th eo re m. $\Bo x$

We will g et  two resul ts  fr om The o r em \[the o1\]. In the first onew e suppl y t he $Q -$pr ocess, wh ich  is th e M a rkov c hain t hat a vo ids s ome f o r bi dde nregion, in o urcaseth e si ngleton  $\{\otimes_{L\in{ {\c al D}}^\rho}\ mu_ L\}$ . In  th e  s e con do new e  give a class o f quasi
}}_\delta(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal_E}}<\infty)=1$. Since_$P_{\delta,\delta'}>0$ and $\delta'\neq D^\rho$_imply $\delta'=\delta$,_from_$P_{\delta,\delta}=\eta$ we_get_$$(P^* \varphi)_\delta=
\sum_{\delta':\delta'\neq D^\rho,_\delta\to \delta'} P_{\delta,\delta'}
{\mathbb{E}}_{\delta'}(\eta^{-\zeta^{{\cal_E}}},\zeta^{{\cal E}}<\infty)=\eta
=\eta\, \varphi_\delta.$$ Now_let $\delta$ be_such_that ${\mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)=0$, so $\varphi_\delta=0$. Then $P_{\delta,\delta'}>0$ implies ${\mathbb{P}}_{\delta'}(\zeta^{{\cal E}}<\infty)=0$ and so $(P^* \varphi)_\delta=0=\eta\,_\varphi_\delta$.

Now_take $\delta\not\in_\partial({{\cal_T}})^{{\cal_E}}$ with ${\mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)>0$. Then,_from the Markov property we_get, $$\begin{aligned}
\varphi_\delta&=&
{\mathbb{E}}_\delta(\eta^{-\zeta^{{\cal_E}}},\zeta^{{\cal E}}<\infty)=
\sum_{\delta':\delta'\neq D^\rho, \delta\to \delta'} 
{\mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty,_Y_1=\delta')\\
&=&\sum_{\delta':\delta'\neq_D^\rho, \delta\to \delta'}_
P_{\delta,\delta'} \; \eta^{-1}\,
{\mathbb{E}}_{\delta'}(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty)
=\eta^{-1}\, (P^* \varphi)_\delta.\end{aligned}$$ Hence, the_result is shown. This finishes the_proof of the_theorem._$\Box$

We_will get two results_from Theorem \[theo1\]. In the first_one we supply the $Q-$process, which_is the Markov chain that avoids some_forbidden region, in our case the_singleton $\{\otimes_{L\in {{\cal D}}^\rho}\mu_L\}$. In_the second_one we give a class_of quasi