
x_m\not=x_m^\p\}$. Then $$\ophi^\ab(\ud{x})=\ophi^\ab(\ud{x}^\p)\implies
\ophi^\ab(\sigma^{\ell+1}\ud{x})=1\quad\text{and}\quad
\ophi^\ab(\sigma^{\ell+1}\ud{x})=0\,.$$ Indeed, $$\oph_{\ell+1}^\ab\big(x_0,\ldots,x_{\ell-1},
x_\ell+\ophi^\ab(\sigma^{\ell+1}\ud{x})\big)=
\oph_{\ell+1}^\ab\big(x_0,\ldots,x_{\ell-1},
x_\ell^\p+\ophi^\ab(\sigma^{\ell+1}\ud{x}^\p)\big)$$ Therefore $x^\p_\ell=x_\ell+1$, $\ophi^\ab(\sigma^{\ell+1}\ud{x})=1$ and $\ophi^\ab(\sigma^{\ell+1}\ud{x})=0$. Suppose that $\ophi^\ab(\sigma^k\ud{u})=1$, and apply the above result to $\sigma^k\ud{u}$ and $\ud{v}$ to get the existence of $m$ with $\ophi^\ab(\sigma^m\ud{v})=0$.

Let $\ud{u}\in\tA^{\Z_+}$ with $u_0=0$ and $\ud{u}\preceq\sigma^n\ud{u}$ for all $n\geq 0$. We introduce the quantity $$\widehat{\ud{u}}:=\sup\{\sigma^n\ud{u}\colon n\geq 0\}\,.$$ We have $$\sigma^n\widehat{\ud{u}}\leq\widehat{\ud{u}}\quad\forall n\geq
0\,.$$ Indeed, if $\widehat{u}$ is periodic, then this is immediate. Otherwise there exists $n_j$, with $n_j\uparrow\infty$ as $j\ra\infty$, so that $\widehat{\ud{u}}=\lim_j\sigma^{n_j}\ud{u}$. By continuity $$\sigma^n\widehat{\ud{u}}=
\lim_{j\ra\infty}\sigma^{n+n_j}\ud{u}\leq\widehat{\ud{u
x_m\not = x_m^\p\}$. Then $ $ \ophi^\ab(\ud{x})=\ophi^\ab(\ud{x}^\p)\implies 
 \ophi^\ab(\sigma^{\ell+1}\ud{x})=1\quad\text{and}\quad 
 \ophi^\ab(\sigma^{\ell+1}\ud{x})=0\,.$$ Indeed, $ $ \oph_{\ell+1}^\ab\big(x_0,\ldots, x_{\ell-1 }, 
 x_\ell+\ophi^\ab(\sigma^{\ell+1}\ud{x})\big)= 
 \oph_{\ell+1}^\ab\big(x_0,\ldots, x_{\ell-1 }, 
 x_\ell^\p+\ophi^\ab(\sigma^{\ell+1}\ud{x}^\p)\big)$$ Therefore $ x^\p_\ell = x_\ell+1 $, $ \ophi^\ab(\sigma^{\ell+1}\ud{x})=1 $ and $ \ophi^\ab(\sigma^{\ell+1}\ud{x})=0$. Suppose that $ \ophi^\ab(\sigma^k\ud{u})=1 $, and apply the above result to $ \sigma^k\ud{u}$ and $ \ud{v}$ to draw the being of $ m$ with $ \ophi^\ab(\sigma^m\ud{v})=0$. 

 Let $ \ud{u}\in\tA^{\Z_+}$ with $ u_0=0 $ and $ \ud{u}\preceq\sigma^n\ud{u}$ for all $ n\geq 0$. We introduce the quantity $ $ \widehat{\ud{u}}:=\sup\{\sigma^n\ud{u}\colon n\geq 0\}\,.$$ We own $ $ \sigma^n\widehat{\ud{u}}\leq\widehat{\ud{u}}\quad\forall n\geq 
 0\,.$$ Indeed, if $ \widehat{u}$ is periodic, then this is immediate. Otherwise there exist $ n_j$, with $ n_j\uparrow\infty$ as $ j\ra\infty$, so that $ \widehat{\ud{u}}=\lim_j\sigma^{n_j}\ud{u}$. By continuity $ $ \sigma^n\widehat{\ud{u}}= 
 \lim_{j\ra\infty}\sigma^{n+n_j}\ud{u}\leq\widehat{\ud{u

x_m\nlt=x_m^\p\}$. Then $$\ophi^\ab(\ud{x})=\ophi^\xb(\ud{x}^\p)\implies
\opku^\ab(\sigka^{\ell+1}\us{x})=1\quad\tebt{and}\quad
\ophi^\ab(\sigma^{\ell+1}\ud{x})=0\,.$$ Iideee, $$\oph_{\tjl+1}^\ab\big(x_0,\ldots,x_{\ell-1},
x_\dll+\ophi^\ab(\digma^{\ell+1}\yd{x})\bmg)=
\oph_{\ell+1}^\ab\big(x_0,\ldots,x_{\ell-1},
x_\cjl^\p+\olmi^\ab(\sngna^{\ell+1}\ud{x}^\p)\big)$$ Tmerefore $x^\p_\all=x_\ell+1$, $\ophi^\ab(\viemc^{\ell+1}\ud{x})=1$ and $\ophi^\ab(\sigma^{\ell+1}\ud{x})=0$. Supposq that $\ppji^\ab(\sigma^k\ud{u})=1$, wnd s[ply nht above result to $\sigma^k\ud{u}$ and $\us{v}$ to gtt the existence og $m$ with $\ophi^\ab(\sigma^m\ud{v})=0$.

Leh $\ud{k}\in\tA^{\Z_+}$ with $u_0=0$ and $\kd{u}\preceq\sitma^n\te{u}$ for all $n\eeq 0$. We inurmduce the suantity $$\widehat{\ud{u}}:=\sup\{\sigma^n\ud{u}\zolon n\geq 0\}\,.$$ We yace $$\dhgma^n\widehav{\ud{u}}\lez\widehat{\ud{u}}\qmsd\foranl n\geq
0\,.$$ Indeed, if $\widchat{u}$ is periodic, then this iv immediate. Otherwyse there erists $n_j$, with $n_j\uparriw\unfty$ as $b\ra\ivdty$, so tiat $\widehwt{\uv{u}}=\lim_j\sigma^{h_j}\ud{u}$. By cobtinuity $$\sigma^n\widenae{\lc{u}}=
\lim_{j\ra\inftg}\sigma^{g+n_t}\ud{u}\leq\widehat{\ud{u
x_m\not=x_m^\p\}$. Then $$\ophi^\ab(\ud{x})=\ophi^\ab(\ud{x}^\p)\implies \ophi^\ab(\sigma^{\ell+1}\ud{x})=1\quad\text{and}\quad \ophi^\ab(\sigma^{\ell+1}\ud{x})=0\,.$$ Indeed, $$\oph_{\ell+1}^\ab\big(x_0,\ldots,x_{\ell-1}, x_\ell^\p+\ophi^\ab(\sigma^{\ell+1}\ud{x}^\p)\big)$$ $x^\p_\ell=x_\ell+1$, $\ophi^\ab(\sigma^{\ell+1}\ud{x})=1$ $\ophi^\ab(\sigma^{\ell+1}\ud{x})=0$. Suppose that result $\sigma^k\ud{u}$ and $\ud{v}$ get the existence $m$ with $\ophi^\ab(\sigma^m\ud{v})=0$. Let $\ud{u}\in\tA^{\Z_+}$ with and $\ud{u}\preceq\sigma^n\ud{u}$ for all $n\geq 0$. We introduce the quantity $$\widehat{\ud{u}}:=\sup\{\sigma^n\ud{u}\colon n\geq 0\}\,.$$ have $$\sigma^n\widehat{\ud{u}}\leq\widehat{\ud{u}}\quad\forall n\geq 0\,.$$ Indeed, if $\widehat{u}$ is periodic, then this is immediate. there $n_j$, $n_j\uparrow\infty$ $j\ra\infty$, so that $\widehat{\ud{u}}=\lim_j\sigma^{n_j}\ud{u}$. By continuity $$\sigma^n\widehat{\ud{u}}= \lim_{j\ra\infty}\sigma^{n+n_j}\ud{u}\leq\widehat{\ud{u

x_m\not=x_m^\p\}$. Then $$\ophi^\ab(\ud{x})=\ophi^\Ab(\ud{x}^\p)\implIes
\opHi^\aB(\siGmA^{\ell+1}\Ud{x})=1\qUad\text{and}\quad
\OPhi^\aB(\sigma^{\ell+1}\ud{x})=0\,.$$ Indeed, $$\oph_{\eLl+1}^\ab\bIg(X_0,\LdotS,X_{\eLl-1},
x_\elL+\ophi^\ab(\SIgMA^{\Ell+1}\Ud{X})\bIg)=
\oPh_{\ELl+1}^\Ab\big(X_0,\ldOts,x_{\ell-1},
X_\ell^\p+\ophi^\aB(\siGmA^{\ell+1}\ud{x}^\p)\big)$$ THErEfore $x^\p_\ell=X_\elL+1$, $\ophi^\ab(\sigma^{\Ell+1}\Ud{x})=1$ and $\OpHi^\aB(\Sigma^{\Ell+1}\Ud{x})=0$. SuPpose tHAt $\ophi^\Ab(\sigma^k\uD{u})=1$, ANd applY The abovE REsUlt tO $\sigma^k\ud{u}$ and $\ud{v}$ tO GeT The existence of $M$ with $\oPhI^\Ab(\SIGma^M\ud{V})=0$.

Let $\ud{u}\in\ta^{\Z_+}$ With $u_0=0$ ANd $\ud{u}\prECeQ\SIGma^N\Ud{u}$ for all $n\geq 0$. we introduce THe qUantitY $$\wIdeHAt{\ud{u}}:=\sUp\{\sigMa^N\Ud{u}\Colon n\geq 0\}\,.$$ We Have $$\Sigma^n\widEhat{\ud{U}}\Leq\wideHAt{\ud{u}}\quAd\foraLl n\Geq
0\,.$$ indeED, iF $\wIdeHaT{U}$ is PErIodIC, thEn this is ImMeDiate. otheRWISE theRe eXistS $n_j$, wiTh $n_j\uparrow\inFty$ As $j\rA\InfTy$, so tHat $\wiDehaT{\uD{u}}=\lim_J\sigma^{N_j}\ud{u}$. by Continuity $$\sigma^N\widEhat{\ud{u}}=
\liM_{j\rA\iNftY}\sIgma^{n+N_J}\ud{u}\leQ\wiDehAt{\ud{u

x_m\not=x_m^\p\}$. Then $ $\ophi^\ab (\ud{ x}) =\o ph i^\a b(\u d{x}^\p)\impli e s
\o phi^\ab(\sigma^{\ell+1 }\ud{ x} ) =1\q u ad \text {and}\q u ad \ oph i^ \a b(\ si g ma ^{\el l+1 }\ud{x} )=0\,.$$ I nde ed , $$\oph_{\e l l+ 1}^\ab\big (x_ 0,\ldots,x_{ \el l-1},x_ \el l +\oph i^\ ab(\s igma^{ \ ell+1} \ud{x})\b ig ) =
\oph _ {\ell+1 } ^ \a b\bi g(x_0,\ldots,x_{\ e ll - 1},
x_\ell^\p+ \ophi^ \a b (\ s i gma ^{\ ell+1}\ud{ x} ^\p)\ b ig)$$ T h er e f o re$ x^\p_\ell=x_\ ell+1$, $\o p hi^ \ab(\s ig ma^ { \ell+1 }\ud{ x} ) =1$  and $\ophi ^\ab (\sigma^{ \ell+1 } \ud{x}) = 0$. Sup pose t hat  $\ ophi ^ \a b( \si gm a ^k\ u d{ u}) = 1$,  and app ly  t he ab over e s u lt t o $ \sig ma^k\ ud{u}$ and $\ ud{ v}$t o g et th e exi sten ce  of $ m$ wit h $\o ph i^\ab(\sigma^m\ ud{v })=0$.

L et$\ ud{ u} \in\t A ^{\Z_+ }$wit h $u_0= 0$ and$ \ud {u } \ p re ceq\sigma^n\ud{u}$  f o r  a ll $n\ge q 0$.W ein t roduce t he  qu anti t y  $$\w ideh a t{ \ud{u}}: =\sup\ { \s ig ma^n\ud {u }\colo nn\g eq0\}\, . $$ W e have  $$\sigm a^n\w i dehat{\ud{u}}\ l eq\widehat{\u d {u } } \q u ad\f ora ll n\geq
0\ ,.$$ Inde ed,i f$\w i dehat {u}$is pe r iodic, then this is  i mmedia te. O therwise ther e exists $ n _ j $, with$n_j \ up a rrow\infty$ as  $j\r a\infty$,s o that $ \wide hat{\ud{ u}}=\lim_ j \ sigma^{n _j} \ud {u} $.B y  c ontinuity $$\ s i gma^ n\ widehat {\u d{u}}=\li m_{ j\r a\i nf ty}\sigma ^{n+n_j} \u d{ u} \l eq\ wideh a t{\ud{u

x_m\not=x_m^\p\}$. Then_$$\ophi^\ab(\ud{x})=\ophi^\ab(\ud{x}^\p)\implies
\ophi^\ab(\sigma^{\ell+1}\ud{x})=1\quad\text{and}\quad
\ophi^\ab(\sigma^{\ell+1}\ud{x})=0\,.$$ Indeed,_$$\oph_{\ell+1}^\ab\big(x_0,\ldots,x_{\ell-1},
x_\ell+\ophi^\ab(\sigma^{\ell+1}\ud{x})\big)=
\oph_{\ell+1}^\ab\big(x_0,\ldots,x_{\ell-1},
x_\ell^\p+\ophi^\ab(\sigma^{\ell+1}\ud{x}^\p)\big)$$ Therefore $x^\p_\ell=x_\ell+1$, $\ophi^\ab(\sigma^{\ell+1}\ud{x})=1$_and $\ophi^\ab(\sigma^{\ell+1}\ud{x})=0$._Suppose_that $\ophi^\ab(\sigma^k\ud{u})=1$,_and_apply the above_result to $\sigma^k\ud{u}$_and $\ud{v}$ to get_the existence of_$m$_with $\ophi^\ab(\sigma^m\ud{v})=0$.

Let $\ud{u}\in\tA^{\Z_+}$ with $u_0=0$ and $\ud{u}\preceq\sigma^n\ud{u}$ for all $n\geq 0$. We introduce the_quantity_$$\widehat{\ud{u}}:=\sup\{\sigma^n\ud{u}\colon n\geq_0\}\,.$$_We_have $$\sigma^n\widehat{\ud{u}}\leq\widehat{\ud{u}}\quad\forall n\geq
0\,.$$ Indeed, if_$\widehat{u}$ is periodic, then this_is immediate._Otherwise there exists $n_j$, with $n_j\uparrow\infty$ as $j\ra\infty$,_so_that $\widehat{\ud{u}}=\lim_j\sigma^{n_j}\ud{u}$. By_continuity $$\sigma^n\widehat{\ud{u}}=
\lim_{j\ra\infty}\sigma^{n+n_j}\ud{u}\leq\widehat{\ud{u