rho_{a_1}(W)}$ such that ${\alpha}_1(u_1) = {\alpha}_1(u_2)$ and if $P_{\rho_{a_1}(W)}(\operatorname{\textsf{fact}}, u_1, u_2)  = s_1 s_2 s_3$, then $$\label{in7}
\min(|s_2|,  |s_1|+|s_3|) \ge \tfrac 13 | {\partial}\rho_{a_1}({\Delta})| =  \tfrac 13  |W|_{\bar a_1} \.$$ It follows from definitions and Lemma \[b1\] that there are some vertices $v_1, v_2 \in P_W$ such that $\beta(v_j) = u_j$, $j=1,2$, the vertices ${\alpha}(v_1), {\alpha}(v_2)$ belong to ${\partial}\Gamma$, where $\Gamma$ is an $a_i$-band in ${\Delta}$, $i >1$, and the vertices ${\alpha}(v_1), {\alpha}(v_2)$ can be connected along ${\partial}\Gamma$ by a simple reduced path $r$ such that ${\varphi}(r) \equiv a_1^{\ell}$ for some integer $\ell$, where $\ell = 0$ if $i >2$. Clearly, $r$ is a special arc of ${\Delta}$. Denote $P_{W}(\operatorname{\textsf{fact}}, v_1, v_2)  = p_1 p_2 p_3$. Then it follows from definitions that $| {\varphi}(p_i) |_{\bar a_1} = |s_i|$, $i=1,2,3$, hence the inequality yields that $$\min(  | {\varphi}(p_2) |_{\bar a_1},   | {\varphi}(p_1) |_{\bar a_1} +  | {\varphi}(p_3) |_{\bar a_1} )   \ge \tfrac 13 | {\partial}\rho_{a_1}({\Delta})| =  \tfrac 13  |W|_{\bar a_1} ,$$ as required.

Furthermore, since $r$ is simple, reduced and $r_- \ne r_+$ unless $|r| =0$, the path $r$ contains every $a_1$-edge $
rho_{a_1}(W)}$ such that $ { \alpha}_1(u_1) = { \alpha}_1(u_2)$ and if $ P_{\rho_{a_1}(W)}(\operatorname{\textsf{fact } }, u_1, u_2)   = s_1 s_2 s_3 $, then $ $ \label{in7 } 
 \min(|s_2|,   |s_1|+|s_3|) \ge \tfrac 13 | { \partial}\rho_{a_1}({\Delta})| =   \tfrac 13   |W|_{\bar a_1 } \.$$ It follows from definitions and Lemma   \[b1\ ] that there are some vertices $ v_1, v_2 \in P_W$ such that $ \beta(v_j) = u_j$, $ j=1,2 $, the vertex $ { \alpha}(v_1), { \alpha}(v_2)$ belong to to $ { \partial}\Gamma$, where $ \Gamma$ is an $ a_i$-band in $ { \Delta}$, $ i > 1 $, and the vertices $ { \alpha}(v_1), { \alpha}(v_2)$ can be connected along $ { \partial}\Gamma$ by a childlike reduce path $ r$ such that $ { \varphi}(r) \equiv a_1^{\ell}$ for some integer $ \ell$, where $ \ell = 0 $ if $ i > 2$. Clearly, $ r$ is a particular bow of $ { \Delta}$. Denote $ P_{W}(\operatorname{\textsf{fact } }, v_1, v_2)   = p_1 p_2 p_3$. Then it follows from definition that $ | { \varphi}(p_i) |_{\bar a_1 } = |s_i|$, $ i=1,2,3 $, hence the inequality yields that $ $ \min (  | { \varphi}(p_2) |_{\bar a_1 },    | { \varphi}(p_1) |_{\bar a_1 } +   | { \varphi}(p_3) |_{\bar a_1 })    \ge \tfrac 13 | { \partial}\rho_{a_1}({\Delta})| =   \tfrac 13   |W|_{\bar a_1 }, $ $ as want. 

 Furthermore, since $ r$ is simple, reduced and $ r_- \ne r_+$ unless $ |r| = 0 $, the way $ r$ contains every $ a_1$-edge $
rho_{w_1}(W)}$ such that ${\alpha}_1(u_1) = {\alpma}_1(u_2)$ and if $P_{\rho_{a_1}(C)}(\iperatmrname{\fextsf{fazt}}, u_1, u_2)  = s_1 s_2 s_3$, then $$\label{in7}
\mmn(|s_2|,  |s_1|+|s_3|) \gt \tfrac 13 | {\partial}\rhu_{a_1}({\Delta})| =  \tfrac 13  |W|_{\bac a_1} \.$$ It follows hdom defluitiohd anb Oemma \[b1\] that thgre are some vertices $v_1, v_2 \hn P_C$ such that $\beta(v_j) = u_j$, $j=1,2$, the verticef ${\alpha}(f_1), {\wlpha}(v_2)$ belong jo ${\pagtyal}\Gzmma$, where $\Gamma$ is an $a_i$-band in ${\Dslta}$, $i >1$, and the vertoces ${\alpha}(v_1), {\alpha}(v_2)$ can be fonnfcted along ${\partiap}\Gamma$ by a sim[oe reduced pxth $r$ such that ${\varphi}(t) \equiv a_1^{\ell}$ for some integer $\elu$, whexe $\ell = 0$ if $i >2$. Cpgarly, $r$ is a specpal arc of ${\Delta}$. Denode $P_{W}(\oprratorname{\textxf{fect}}, c_1, v_2)  = p_1 p_2 p_3$. Then it fmllows from definijions that $| {\rarphi}(p_i) |_{\bar a_1} = |s_i|$, $i=1,2,3$, yebce tve itequxoith yjekda that $$\mii(  | {\varphi}(p_2) |_{\bar a_1},   | {\vqrphi}(p_1) |_{\bar a_1} +  | {\varkhi}([_3) |_{\bar a_1} )   \ge \ffrac 13 | {\[artial}\rho_{a_1}({\Delta})| =  \tfrac 13  |W|_{\bar a_1} ,$$ as rtquirsd.

Furthermore, since $r$ iw simple, reduced and $t_- \ne r_+$ unlqss $|r| =0$, the path $r$ contains every $a_1$-edge $
rho_{a_1}(W)}$ such that ${\alpha}_1(u_1) = {\alpha}_1(u_2)$ and u_1, = s_1 s_3$, then $$\label{in7} | = \tfrac 13 a_1} \.$$ It from definitions and Lemma \[b1\] that are some vertices $v_1, v_2 \in P_W$ such that $\beta(v_j) = u_j$, $j=1,2$, vertices ${\alpha}(v_1), {\alpha}(v_2)$ belong to ${\partial}\Gamma$, where $\Gamma$ is an $a_i$-band in ${\Delta}$, >1$, the ${\alpha}(v_1), can be connected along ${\partial}\Gamma$ by a simple reduced path $r$ such that ${\varphi}(r) \equiv a_1^{\ell}$ some integer $\ell$, where $\ell = 0$ if >2$. Clearly, $r$ is special arc of ${\Delta}$. Denote v_1, = p_1 p_3$. it from definitions that {\varphi}(p_i) |_{\bar a_1} = |s_i|$, $i=1,2,3$, hence the inequality yields that $$\min( | {\varphi}(p_2) |_{\bar a_1}, | |_{\bar a_1} {\varphi}(p_3) |_{\bar ) \tfrac | {\partial}\rho_{a_1}({\Delta})| = |W|_{\bar a_1} ,$$ as required. Furthermore, simple, reduced and $r_- \ne r_+$ unless $|r| the path contains every $a_1$-edge $
rho_{a_1}(W)}$ such that ${\alpha}_1(u_1) = {\alpha}_1(u_2)$ And if $P_{\rho_{a_1}(w)}(\operAtoRnaMe{\TextSf{faCt}}, u_1, u_2)  = s_1 s_2 s_3$, then $$\labEL{in7}
\mIn(|s_2|,  |s_1|+|s_3|) \ge \tfrac 13 | {\partial}\rho_{A_1}({\DeltA})| =  \tFRac 13  |W|_{\BAr A_1} \.$$ It foLlows frOM dEFIniTiOnS anD LEMmA \[b1\] thaT thEre are sOme verticeS $v_1, v_2 \In p_W$ such that $\beTA(v_J) = u_j$, $j=1,2$, the verTicEs ${\alpha}(v_1), {\alphA}(v_2)$ bElong tO ${\pArtIAl}\GamMa$, wHere $\GAmma$ is AN $a_i$-banD in ${\Delta}$, $i >1$, AnD The verTIces ${\alpHA}(V_1), {\aLpha}(V_2)$ can be connected alONg ${\PArtial}\Gamma$ by a Simple ReDUcED PatH $r$ sUch that ${\varPhI}(r) \equIV a_1^{\ell}$ foR SoME INteGEr $\ell$, where $\ell = 0$ If $i >2$. Clearly, $r$ IS a sPecial ArC of ${\dElta}$. DeNote $P_{w}(\oPEraTorname{\textSf{faCt}}, v_1, v_2)  = p_1 p_2 p_3$. ThEn it foLLows froM DefinitIons thAt $| {\vArpHi}(p_i) |_{\BAr A_1} = |s_I|$, $i=1,2,3$, hEnCE thE InEquALitY yields tHaT $$\mIn(  | {\varPhi}(p_2) |_{\BAR A_1},   | {\VarpHi}(p_1) |_{\Bar a_1} +  | {\VarphI}(p_3) |_{\bar a_1} )   \ge \tfrac 13 | {\ParTial}\RHo_{a_1}({\delta})| =  \Tfrac 13  |w|_{\bar A_1} ,$$ aS requIred.

FuRtherMoRe, since $r$ is simplE, redUced and $r_- \nE r_+$ uNlEss $|R| =0$, tHe patH $R$ contaIns EveRy $a_1$-edge $
rho_{a_1}(W)}$ such that $ {\alpha}_1 (u_1)  ={\a lp ha}_ 1(u_ 2)$ and if $P_ { \rho _{a_1}(W)}(\operatorna me{\t ex t sf{f a ct }}, u _1, u_2 )  = s_1  s _2  s_ 3$ ,  t hen $ $\l abel{in 7}
\min(|s _2| , |s_1|+|s_3| )  \ ge \tfrac13| {\partial} \rh o_{a_1 }( {\D e lta}) | =   \tf rac 13  |W|_{ \bar a_1}  \ . $$ Itf ollowsf r om  def initions and Lemm a  \ [ b1\] that ther e areso m ev e rti ces  $v_1, v_2  \ in P_ W $ sucht ha t $ \be t a(v_j) = u_j$ , $j=1,2$,t hevertic es  ${ \ alpha} (v_1) ,{ \al pha}(v_2)$belo ng to ${\ partia l }\Gamma $ , where  $\Gam ma$  is  an$ a_ i$ -ba nd in$ {\ Del t a}$ , $i >1$ ,an d the  ver t i c e s ${ \al pha} (v_1) , {\alpha}(v_ 2)$  can beconne ctedalon g${\pa rtial} \Gamm a$  by a simple re duce d path $r $ s uc h t ha t ${\ v arphi} (r)  \e quiv a_ 1^{\ell } $ f or s o me  integer $\ell$, w he r e  $ \ell = 0 $ if $ i  > 2$ .  Clearly ,$r$  isa speci al a r cof ${\De lta}$. De no te $P_{ W} (\oper at orn ame {\tex t sf{f act}},  v_1, v_ 2)  = p_1 p_2 p_3$.T hen it follow s  f r o md efin iti ons that $|  {\v a rphi }(p_ i )|_{ \ bar a _1} =  | s _i | $, $i=1,2,3$, hence  t he ine quali ty yields tha t $$\min(| {\varphi }(p_ 2 )| _{\bar a_1},  | {\ varphi}(p_ 1 ) |_{\ba r a_1 } +  | { \varphi}( p _ 3) |_{\b ara_1 } )   \ g e\tfrac 13 | { \ p arti al }\rho_{ a_1 }({\Del ta} )|= \tf ra c 13  |W| _{\bar a _1 },$ $asrequi r ed.

Fur th erm or e,since $r$ is  simp le,re du c edand $r_ -  \ n e  r_+ $un less  $| r|  =0$,  the pat h $r$ c ontains e ver y  $a_ 1$ -e dge $
rho_{a_1}(W)}$ such_that ${\alpha}_1(u_1)_= {\alpha}_1(u_2)$ and if_$P_{\rho_{a_1}(W)}(\operatorname{\textsf{fact}}, u_1,_u_2)_ =_s_1_s_2 s_3$, then_$$\label{in7}
\min(|s_2|,  |s_1|+|s_3|)_\ge \tfrac 13 |_{\partial}\rho_{a_1}({\Delta})| = _\tfrac_13  |W|_{\bar a_1} \.$$ It follows from definitions and Lemma \[b1\] that there are_some_vertices $v_1,_v_2_\in_P_W$ such that $\beta(v_j) =_u_j$, $j=1,2$, the vertices ${\alpha}(v_1),_{\alpha}(v_2)$ belong_to ${\partial}\Gamma$, where $\Gamma$ is an $a_i$-band in_${\Delta}$,_$i >1$, and_the vertices ${\alpha}(v_1), {\alpha}(v_2)$ can be connected along ${\partial}\Gamma$_by a simple reduced path $r$_such that ${\varphi}(r)_\equiv_a_1^{\ell}$_for some integer $\ell$,_where $\ell = 0$ if $i_>2$. Clearly, $r$ is a special_arc of ${\Delta}$. Denote $P_{W}(\operatorname{\textsf{fact}}, v_1, v_2)_ = p_1 p_2 p_3$. Then_it follows from definitions that_$| {\varphi}(p_i)_|_{\bar a_1} = |s_i|$, $i=1,2,3$,_hence the inequality_yields that_$$\min(  |_{\varphi}(p_2) |_{\bar a_1},   |_{\varphi}(p_1) |_{\bar a_1}_+  | {\varphi}(p_3) |_{\bar a_1}_)_  \ge_\tfrac_13_| {\partial}\rho_{a_1}({\Delta})|_=  \tfrac_13_ |W|_{\bar_a_1}_,$$ as required.

Furthermore, since $r$ is_simple,_reduced and $r_- \ne r_+$ unless $|r|_=0$, the path $r$_contains_every $a_1$-edge $