_1+\dotsm+ t_n= t$ such that $f( x, t)= x+ r_1 t_1+ p_1+\dotsm+ r_n t_n+ p_n$ and $x+\dotsm+ r_j t_j\ge b_j$ for all $j= 1,\dotsc, n$. Let $t_k'= t_k+ t_{ k+ 1}$, $t_{ k+ 1}'= 0$, and $t_j'= t_j$ for all $j\notin\{ k, k+ 1\}$. By $r_k\ge r_{ k+ 1}$, we know that $x+\dotsm+ r_k t_k'\ge b_k$ and $x+\dotsm+ r_{ k+ 1} t_{ k+ 1}'\ge b_{ k+ 1}'$, hence $x+\dotsm+ r_j t_j'\ge b_j$ for all $j= 1,\dotsc, n$. Hence this new run is also accepting, and $x+ r_1 t_1'+ p_1+\dotsm+ r_n t_n'+
  p_n\ge f( x, t)$. Because $t_{ k+ 1}'= 0$, this also yields an accepting run through the RTEA for $f'$, showing that $f'( x, t)\ge
  f( x, t)$.

The other inequality, $f( x, t)\ge f'( x, t)$, is clear if $f'( x, t)= \bot$. Otherwise, there is an accepting run through the RTEA for $f'$. Hence we have $t_1+\dotsm+ t_n= t$, with $t_{ k+ 1}= 0$, such that $f'( x, t)= x+ r_1 t_1+ p_1+\dotsm+ r_n t_n+ p_n$ and $x+\dotsm+ r_j t_j\ge b_j$ for all $j= 1,\dotsc, n$. But then this is also an accepting run through the RTEA for $f$, showing that $f(
  x, t)\ge f'( x, t)$.

We can hence assume that $r_1<\dotsm< r_n$. To ensure the last
_ 1+\dotsm+ t_n= t$ such that $ f (x, t)= x+ r_1 t_1 + p_1+\dotsm+ r_n t_n+ p_n$ and $ x+\dotsm+ r_j t_j\ge b_j$ for all $ j= 1,\dotsc, n$. Let $ t_k'= t_k+ t _ { k+ 1}$, $ t _ { k+ 1}'= 0 $, and $ t_j'= t_j$ for all $ j\notin\ { k, k+ 1\}$. By $ r_k\ge radius _ { k+ 1}$, we acknowledge that $ x+\dotsm+ r_k t_k'\ge b_k$ and $ x+\dotsm+ r _ { k+ 1 } t _ { k+ 1}'\ge b _ { k+ 1}'$, hence $ x+\dotsm+ r_j t_j'\ge b_j$ for all $ j= 1,\dotsc, n$. therefore this new run is also accept, and $ x+ r_1 t_1'+ p_1+\dotsm+ r_n t_n'+ 
   p_n\ge f (x, t)$. Because $ t _ { k+ 1}'= 0 $, this also succumb an accepting run through the RTEA for $ f'$, show that $ f' (x, t)\ge 
   f (x, t)$. 

 The other inequality, $ f (x, t)\ge f' (x, t)$, is clear if $ f' (adam, t)= \bot$. differently, there is an accepting streak through the RTEA for $ f'$. Hence we have $ t_1+\dotsm+ t_n= t$, with $ thymine _ { k+ 1}= 0 $, such that $ f' (x, t)= x+ r_1 t_1 + p_1+\dotsm+ r_n t_n+ p_n$ and $ x+\dotsm+ r_j t_j\ge b_j$ for all $ j= 1,\dotsc, n$. But then this is also an accepting rivulet through the RTEA for $ f$, showing that $ f (
   x, t)\ge f' (x, t)$. 

 We can hence assume that $ r_1<\dotsm < r_n$. To guarantee the last
_1+\dotdm+ t_n= t$ such that $f( x, t)= w+ r_1 t_1+ p_1+\dotsm+ r_n j_n+ p_n$ anv $x+\dotsj+ r_j t_j\gd b_j$ for all $j= 1,\dotsc, n$. Let $t_n'= r_k+ t_{ j+ 1}$, $t_{ k+ 1}'= 0$, and $t_j'= t_j$ for all $j\notpn\{ k, k+ 1\}$. Bt $r_k\je r_{ k+ 1}$, we know vgat $x+\dobfm+ r_i t_k'\gz u_k$ and $x+\dotsm+ r_{ k+ 1} t_{ k+ 1}'\ge b_{ k+ 1}'$, hence $x+\dmtrm+ r_j t_j'\ge b_j$ for all $j= 1,\dotsc, n$. Hence this nrw run is also ascepuind, ans $x+ r_1 t_1'+ p_1+\dotsm+ r_n t_n'+
  p_n\ge f( x, t)$. Bscause $u_{ k+ 1}'= 0$, this also yirlds an accepting run throkgh hhe RTEA for $f'$, shoaing that $f'( x, t)\dw
  f( x, t)$.

The uther ineqlclity, $f( x, t)\fe f'( x, t)$, is clear if $f'( x, t)= \bot$. Uthercise, there us an dccepting rnn thrjugh the RTEA for $f'$. Vence wr have $t_1+\dotsm+ b_n= t$, xith $t_{ k+ 1}= 0$, such that $f'( x, v)= x+ r_1 t_1+ p_1+\dotsm+ r_n t_n+ p_n$ and $x+\gocsm+ r_j t_j\ge b_j$ for alo $h= 1,\dotvc, n$. But rhev tgix js alsl ai accepting run througy the RTEA for $f$, shpwybg that $f(
  x, f)\ge f'( v, e)$.

We can hence assume that $r_1<\dotsm< r_n$. To tnsurs the last
_1+\dotsm+ t_n= t$ such that $f( x, r_1 p_1+\dotsm+ r_n p_n$ and $x+\dotsm+ $j= n$. Let $t_k'= t_{ k+ 1}$, k+ 1}'= 0$, and $t_j'= t_j$ all $j\notin\{ k, k+ 1\}$. By $r_k\ge r_{ k+ 1}$, we know that r_k t_k'\ge b_k$ and $x+\dotsm+ r_{ k+ 1} t_{ k+ 1}'\ge b_{ k+ hence r_j b_j$ all $j= 1,\dotsc, n$. Hence this new run is also accepting, and $x+ r_1 t_1'+ p_1+\dotsm+ t_n'+ p_n\ge f( x, t)$. Because $t_{ k+ 0$, this also yields accepting run through the RTEA $f'$, that $f'( t)\ge x, The other inequality, x, t)\ge f'( x, t)$, is clear if $f'( x, t)= \bot$. Otherwise, there is an accepting through the $f'$. Hence have t_n= with $t_{ k+ such that $f'( x, t)= x+ r_n t_n+ p_n$ and $x+\dotsm+ r_j t_j\ge b_j$ all $j= n$. But then this is also accepting run through the RTEA for $f$, showing $f( x, t)\ge f'( x, t)$. We can hence assume that $r_1<\dotsm< r_n$. To ensure
_1+\dotsm+ t_n= t$ such that $f( x, t)= x+ r_1 t_1+ p_1+\doTsm+ r_n t_n+ p_n$ aNd $x+\doTsm+ R_j t_J\gE b_j$ fOr alL $j= 1,\dotsc, n$. Let $t_k'= t_K+ T_{ k+ 1}$, $t_{ k+ 1}'= 0$, And $t_j'= t_j$ for all $j\notin\{ k, k+ 1\}$. BY $r_k\ge R_{ k+ 1}$, WE knoW ThAt $x+\doTsm+ r_k t_k'\GE b_K$ ANd $x+\DoTsM+ r_{ k+ 1} T_{ k+ 1}'\GE b_{ K+ 1}'$, hencE $x+\dOtsm+ r_j t_J'\ge b_j$ for alL $j= 1,\dOtSc, n$. Hence this NEw Run is also aCcePting, and $x+ r_1 t_1'+ p_1+\DotSm+ r_n t_n'+
  P_n\Ge f( X, T)$. BecaUse $T_{ k+ 1}'= 0$, thiS also yIElds an Accepting RuN ThrougH The RTEA FOR $f'$, ShowIng that $f'( x, t)\ge
  f( x, t)$.

ThE OtHEr inequality, $f( x, T)\ge f'( x, t)$, Is CLeAR If $f'( X, t)= \bOt$. OtherwisE, tHere iS An accepTInG RUN thROugh the RTEA foR $f'$. Hence we haVE $t_1+\dOtsm+ t_n= T$, wIth $T_{ K+ 1}= 0$, such tHat $f'( x, T)= x+ R_1 T_1+ p_1+\dOtsm+ r_n t_n+ p_n$ aNd $x+\dOtsm+ r_j t_j\gE b_j$ for ALl $j= 1,\dotsC, N$. But theN this iS alSo aN accEPtInG ruN tHRouGH tHe RteA fOr $f$, showiNg ThAt $f(
  x, t)\Ge f'( x, T)$.

wE CAn heNce AssuMe thaT $r_1<\dotsm< r_n$. To enSurE the LAst
_1+\dotsm+ t_n= t$ such th at $f( x,t)= x + r _1t_ 1+ p _1+\ dotsm+ r_n t_n +  p_n $ and $x+\dotsm+ r_j t _j\ge  b _ j$ f o rall $ j= 1,\d o ts c ,  n$ .Le t $ t_ k '=  t_k+  t_ { k+ 1} $, $t_{ k+  1} '=  0$, and $t_ j '=  t_j$ forall  $j\notin\{k,k+ 1\} $.  By $r_k\ ger_{ k + 1}$, we kno w that $x +\ d otsm+r _k t_k' \ g eb_k$  and $x+\dotsm+ r _ {k + 1} t_{ k+ 1} '\ge b _{ k+ 1 }'$ , h ence $x+\d ot sm+ r _ j t_j'\ g eb _ j $ f o r all $j= 1,\ dotsc, n$.H enc e this  n ewr un isalsoac c ept ing, and $x + r_ 1 t_1'+ p _1+\do t sm+ r_n t_n'+
 p_n\g e f ( x , t) $ .Be cau se $t_ {  k + 1 } '=0$, this  a ls o yie ldsa n a ccep tin g ru n thr ough the RTEA  fo r $f ' $,showi ng th at $ f' ( x,t)\ge  f(x,  t)$.

The othe r in equality,  $f (x,t) \ge f ' ( x, t )$,  is  clearif $f'( x,t) = \ bo t$. Otherwise, the re i san accep ting r u nth r ough the  R TEA  for $ f'$.Henc e  w e have $ t_1+\d o ts m+  t_n= t $,  with$t _{k+1}= 0 $ , su ch tha t $f'( x , t)= x+ r_1 t_1+ p_ 1 +\dotsm+ r_nt _n + p_ n $ an d $ x+\dotsm+ r _j t _ j\ge  b_j $  f ora ll $j = 1,\ do t sc ,  n$. But then thisis  alsoan ac cepting run t hrough the R T EA for $ f$,s ho w ing that $f(
 x, t )\ge f'( x ,  t)$.

W e can  hence a ssume tha t $r_1<\do tsm < r _n$ . T o en sure the last 
_1+\dotsm+ t_n=_t$ such_that $f( x, t)=_x+ r_1_t_1+_p_1+\dotsm+ r_n_t_n+_p_n$ and $x+\dotsm+_r_j t_j\ge b_j$_for all $j= 1,\dotsc,_n$. Let $t_k'=_t_k+_t_{ k+ 1}$, $t_{ k+ 1}'= 0$, and $t_j'= t_j$ for all $j\notin\{ k,_k+_1\}$. By_$r_k\ge_r_{_k+ 1}$, we know that_$x+\dotsm+ r_k t_k'\ge b_k$ and_$x+\dotsm+ r_{_k+ 1} t_{ k+ 1}'\ge b_{ k+ 1}'$,_hence_$x+\dotsm+ r_j t_j'\ge_b_j$ for all $j= 1,\dotsc, n$. Hence this new_run is also accepting, and $x+_r_1 t_1'+ p_1+\dotsm+_r_n_t_n'+
_ p_n\ge f( x,_t)$. Because $t_{ k+ 1}'= 0$,_this also yields an accepting run_through the RTEA for $f'$, showing that_$f'( x, t)\ge
  f( x,_t)$.

The other inequality, $f( x,_t)\ge f'(_x, t)$, is clear if_$f'( x, t)=_\bot$. Otherwise,_there is an_accepting run through the RTEA for_$f'$. Hence we_have $t_1+\dotsm+ t_n= t$, with $t_{_k+_1}= 0$, such_that_$f'(_x, t)=_x+ r_1 t_1+_p_1+\dotsm+_r_n t_n+_p_n$_and $x+\dotsm+ r_j t_j\ge b_j$ for_all_$j= 1,\dotsc, n$. But then this is_also an accepting run_through_the RTEA for $f$,_showing that $f(
  x,_t)\ge f'( x, t)$.

We can hence_assume that_$r_1<\dotsm< r_n$._To ensure the last