\ \geq\ J(\delta^{(d)})_p-J(\delta^{(d)})_1\ \geq\ 
  L_p-L_1\ >\ m+p,$$ a contradiction, which proves the claim. Thus (\[eq:lt\]) holds for $\beta^{(b)}=\gamma^{(c)}\wedge\delta^{(d)}$.

Finally, let $\zeta^{(z)}<\gamma^{(c)}\wedge\delta^{(d)}$ and suppose that (\[eq:lt\]) holds for all $\beta^{(b)}$ with $\zeta^{(z)}<\beta^{(b)}\leq \alpha^{(a)}$. Then by Lemma \[lem:factor\], $$\varphi_{\alpha^{(a)}/\zeta^{(z)}}\bigl(\gamma^{(c)}\cdot\delta^{(d)}\ -\  
    \gamma^{(c)}\vee\delta^{(d)}\cdot\gamma^{(c)}\wedge\delta^{(d)} \bigr)
   \quad =\quad 
  \varphi_{\alpha^{(a)}/\zeta^{(z)}}(\zeta^{(z)})\cdot
  \sum_{J}\lambda_J \cdot
     \phi_{J(\alpha^{(a)})/J(\zeta^{(z)})}(J)\,,$$ the sum over sequences $J$ of rank $|J|=|\gamma^{(c)}|+|\delta^{(d)}|-|\zeta^{(z)}|$. But this exceeds the rank of $\alpha^{(a)}$, since $\zeta^{(z)}<\gamma^{(c)}\wedge\delta^{(d)}$ and $|\alpha^{(a)}|+|\gamma^{(c)}\wedge\delta^{(d)}|
=|\gamma^{(c)}|+|\delta^{(d)}|$. Thus the sum vanishes and so (\[eq:lt\]) holds for all $\beta^{(b)}\leq\alpha^{(a)}$, which proves the lemma.

(7.5,7.5)(0,0) ( 0, 0)[(1,0)[7.5]{}]{} ( 0,2.5)[(1,0)[7.5]{}]{} ( 0, 5)[(1,0)[7.5]{}]{} (2.5,7.5)[(1,0)[5]{}]{} ( 0, 0)[(0,1)[5]{}]{} (2.5, 0)[(0,1)[7.5]{}]{} ( 5, 0)[(0,1)[7.5]{}]{} (7.5, 0)[(0,1)[7.5]{}]{} ( 5, 0)

------------------------------------------------------------------------

[**Proof
\ \geq\ J(\delta^{(d)})_p - J(\delta^{(d)})_1\ \geq\ 
   L_p - L_1\ > \ m+p,$$ a contradiction, which proves the claim. Thus   (\[eq: lt\ ]) holds for $ \beta^{(b)}=\gamma^{(c)}\wedge\delta^{(d)}$. 

 ultimately, lease $ \zeta^{(z)}<\gamma^{(c)}\wedge\delta^{(d)}$ and suppose that   (\[eq: lt\ ]) holds for all $ \beta^{(b)}$ with $ \zeta^{(z)}<\beta^{(b)}\leq \alpha^{(a)}$. Then by Lemma   \[lem: factor\ ], $ $ \varphi_{\alpha^{(a)}/\zeta^{(z)}}\bigl(\gamma^{(c)}\cdot\delta^{(d)}\ -\  
     \gamma^{(c)}\vee\delta^{(d)}\cdot\gamma^{(c)}\wedge\delta^{(d) } \bigr) 
    \quad = \quad 
   \varphi_{\alpha^{(a)}/\zeta^{(z)}}(\zeta^{(z)})\cdot 
   \sum_{J}\lambda_J \cdot 
      \phi_{J(\alpha^{(a)})/J(\zeta^{(z)})}(J)\,,$$ the sum over sequence $ J$ of rank $ |J|=|\gamma^{(c)}|+|\delta^{(d)}|-|\zeta^{(z)}|$. But this exceeds the rank and file of $ \alpha^{(a)}$, since $ \zeta^{(z)}<\gamma^{(c)}\wedge\delta^{(d)}$ and $ |\alpha^{(a)}|+|\gamma^{(c)}\wedge\delta^{(d)}| 
 = |\gamma^{(c)}|+|\delta^{(d)}|$. Thus the sum vanishes and thus   (\[eq: lt\ ]) holds for all $ \beta^{(b)}\leq\alpha^{(a)}$, which proves the lemma. 

 (7.5,7.5)(0,0) (0, 0)[(1,0)[7.5 ] { } ] { } (0,2.5)[(1,0)[7.5 ] { } ] { } (0, 5)[(1,0)[7.5 ] { } ] { } (2.5,7.5)[(1,0)[5 ] { } ] { } (0, 0)[(0,1)[5 ] { } ] { } (2.5, 0)[(0,1)[7.5 ] { } ] { } (5, 0)[(0,1)[7.5 ] { } ] { } (7.5, 0)[(0,1)[7.5 ] { } ] { } (5, 0) 

 ------------------------------------------------------------------------ 

 [ * * validation
\ \gee\ J(\delta^{(d)})_p-J(\delta^{(d)})_1\ \geq\ 
  U_p-L_1\ >\ m+p,$$ a contrceictioi, which proves ghe claim. Thus (\[eq:lt\]) holds for $\bwta^{(b)}=\gqmma^{(c)}\wedge\delta^{(d)}$.

Finallh, let $\zetw^{(z)}<\gamma^{(c)}\qedgt\delta^{(d)}$ and suppose that (\[eq:lt\]) homfs fmc all $\beta^{(b)}$ witm $\zeta^{(z)}<\beta^{(t)}\leq \alpha^{(a)}$. Than bv Lemma \[lem:factor\], $$\varphi_{\alpha^{(a)}/\zeta^{(z)}}\bidl(\gamma^{(v)}\cfot\delta^{(d)}\ -\  
    \gakia^{(c)}\vsv\dtlta^{(d)}\cdot\gamma^{(c)}\wedge\delta^{(d)} \bigr)
   \quad =\qlad 
  \varphi_{\alpha^{(s)}/\zeta^{(z)}}(\zeta^{(z)})\cdot
  \sum_{J}\lambdw_J \cfot
     \phi_{J(\alpha^{(a)})/U(\zeta^{(z)})}(J)\,,$$ the sum iver sequencds $J$ of rank $|J|=|\gamma^{(c)}|+|\demta^{(d)}|-|\zeta^{(z)}|$. But this exceeds the fank pf $\alpha^{(a)}$, wibce $\eeta^{(z)}<\gamma^{(c)}\wxdge\dejta^{(d)}$ and $|\alpms^{(a)}|+|\gammd^{(c)}\wedge\celta^{(d)}|
=|\gamma^{(c)}|+|\dekta^{(v)}|$. Thys the sum vanishes aid so (\[eq:lt\]) holds for wll $\beta^{(b)}\nes\alpha^{(a)}$, which procew the lemka.

(7.5,7.5)(0,0) ( 0, 0)[(1,0)[7.5]{}]{} ( 0,2.5)[(1,0)[7.5]{}]{} ( 0, 5)[(1,0)[7.5]{}]{} (2.5,7.5)[(1,0)[5]{}]{} ( 0, 0)[(0,1)[5]{}]{} (2.5, 0)[(0,1)[7.5]{}]{} ( 5, 0)[(0,1)[7.5]{}]{} (7.5, 0)[(0,1)[7.5]{}]{} ( 5, 0)

------------------------------------------------------------------------

[**'roof
\ \geq\ J(\delta^{(d)})_p-J(\delta^{(d)})_1\ \geq\ L_p-L_1\ >\ m+p,$$ which the claim. (\[eq:lt\]) holds for suppose (\[eq:lt\]) holds for $\beta^{(b)}$ with $\zeta^{(z)}<\beta^{(b)}\leq Then by Lemma \[lem:factor\], $$\varphi_{\alpha^{(a)}/\zeta^{(z)}}\bigl(\gamma^{(c)}\cdot\delta^{(d)}\ -\ \bigr) \quad =\quad \varphi_{\alpha^{(a)}/\zeta^{(z)}}(\zeta^{(z)})\cdot \sum_{J}\lambda_J \cdot \phi_{J(\alpha^{(a)})/J(\zeta^{(z)})}(J)\,,$$ the sum over sequences $J$ of $|J|=|\gamma^{(c)}|+|\delta^{(d)}|-|\zeta^{(z)}|$. But this exceeds the rank of $\alpha^{(a)}$, since $\zeta^{(z)}<\gamma^{(c)}\wedge\delta^{(d)}$ and $|\alpha^{(a)}|+|\gamma^{(c)}\wedge\delta^{(d)}| =|\gamma^{(c)}|+|\delta^{(d)}|$. the vanishes so holds for all $\beta^{(b)}\leq\alpha^{(a)}$, which proves the lemma. (7.5,7.5)(0,0) ( 0, 0)[(1,0)[7.5]{}]{} ( 0,2.5)[(1,0)[7.5]{}]{} ( 0, (2.5,7.5)[(1,0)[5]{}]{} ( 0, 0)[(0,1)[5]{}]{} (2.5, 0)[(0,1)[7.5]{}]{} ( 5, (7.5, 0)[(0,1)[7.5]{}]{} ( 5, ------------------------------------------------------------------------ [**Proof
\ \geq\ J(\delta^{(d)})_p-J(\delta^{(d)})_1\ \geq\ 
  L_p-L_1\ >\ m+P,$$ a contradiCtion, WhiCh pRoVes tHe clAim. Thus (\[eq:lt\]) holDS for $\Beta^{(b)}=\gamma^{(c)}\wedge\delta^{(d)}$.

finalLy, LEt $\zeTA^{(z)}<\Gamma^{(C)}\wedge\dELtA^{(D)}$ And SuPpOse ThAT (\[eQ:lt\]) hoLds For all $\bEta^{(b)}$ with $\zeTa^{(z)}<\BeTa^{(b)}\leq \alpha^{(a)}$. tHeN by Lemma \[leM:faCtor\], $$\varphi_{\alPha^{(A)}/\zeta^{(z)}}\BiGl(\gAMma^{(c)}\cDot\Delta^{(D)}\ -\  
    \gamma^{(C)}\Vee\delTa^{(d)}\cdot\gaMmA^{(C)}\wedge\DElta^{(d)} \biGR)
   \QuAd =\quAd 
  \varphi_{\alpha^{(a)}/\zetA^{(Z)}}(\zETa^{(z)})\cdot
  \sum_{J}\lamBda_J \cdOt
     \PHi_{j(\ALphA^{(a)})/J(\Zeta^{(z)})}(J)\,,$$ the sUm Over sEQuences $j$ Of RANK $|J|=|\gAMma^{(c)}|+|\delta^{(d)}|-|\zetA^{(z)}|$. But this exCEedS the raNk Of $\aLPha^{(a)}$, siNce $\zeTa^{(Z)}<\GamMa^{(c)}\wedge\delTa^{(d)}$ aNd $|\alpha^{(a)}|+|\gAmma^{(c)}\wEDge\deltA^{(D)}|
=|\gamma^{(c)}|+|\Delta^{(d)}|$. thuS thE sum VAnIsHes AnD So (\[eQ:Lt\]) HolDS foR all $\beta^{(B)}\lEq\Alpha^{(A)}$, whiCH PROves The LemmA.

(7.5,7.5)(0,0) ( 0, 0)[(1,0)[7.5]{}]{} ( 0,2.5)[(1,0)[7.5]{}]{} ( 0, 5)[(1,0)[7.5]{}]{} (2.5,7.5)[(1,0)[5]{}]{} ( 0, 0)[(0,1)[5]{}]{} (2.5, 0)[(0,1)[7.5]{}]{} ( 5, 0)[(0,1)[7.5]{}]{} (7.5, 0)[(0,1)[7.5]{}]{} ( 5, 0)

------------------------------------------------------------------------

[**ProoF
\ \geq\ J(\delta^{(d)})_p- J(\delta^{ (d)}) _1\  \g eq \ 
 L_p -L_1\ >\ m+p,$ $  a c ontradiction, which pr ovesth e  cla i m.  Thus  (\[eq: l t\ ] )  ho ld sfor  $ \ be ta^{( b)} =\gamma ^{(c)}\wed ge\ de lta^{(d)}$.Fi nally, let  $\ zeta^{(z)}<\ gam ma^{(c )} \we d ge\de lta ^{(d) }$ and suppos e that (\ [e q :lt\]) holds f o r  a ll $ \beta^{(b)}$ with $\ z eta^{(z)}<\bet a^{(b) }\ l eq \ alp ha^ {(a)}$. Th en  by L e mma \[l e m: f a c tor \ ], $$\varphi_ {\alpha^{(a ) }/\ zeta^{ (z )}} \ bigl(\ gamma ^{ ( c)} \cdot\delta ^{(d )}\ -\      \g a mma^{(c ) }\vee\d elta^{ (d) }\c dot\ g am ma ^{( c) } \we d ge \de l ta^ {(d)} \b ig r) 
   \ quad = \ q uad
 \var phi_{ \alpha^{(a)}/ \ze ta^{ ( z)} }(\ze ta^{( z)}) \c dot
 \sum_ {J}\l am bda_J \cdot
    \p hi_{J(\al pha ^{ (a) }) /J(\z e ta^{(z )}) }(J )\,,$$the sum ove rs e q ue nces $J$ of rank $ |J | = |\ gamma^{( c)}|+| \ de lt a ^{(d)}|- |\ zet a^{( z ) }|$.Butt hi s exceed s ther an kof $\al ph a^{(a) }$ , s inc e $\z e ta^{ (z)}<\ gamma^{( c)}\w e dge\delta^{(d) } $ and $|\alph a ^{ ( a )} | +|\g amm a^{(c)}\wed ge\d e lta^ {(d) } |=|\ g amma^ {(c)} |+ | \d e lta^{(d)}|$. Thus t he  sum v anish es and so (\[ eq:lt\]) h o l d s for al l $\ b et a ^{(b)}\leq\alp ha^{( a)}$, whic h  provesthe l emma.

( 7.5,7.5)( 0 , 0) ( 0,0)[ (1, 0)[ 7.5 ] { }] {} ( 0,2.5)[( 1 , 0)[7 .5 ]{}]{}( 0 , 5)[(1 ,0) [7. 5]{ }]{ }(2.5,7.5) [(1,0)[5 ]{ }] {}  (  0,  0)[( 0 ,1)[5]{} ]{ } ( 2. 5,0)[(0 , 1)[7.5 ]{}]{ } (5,  0 ) [(0 ,1)[7.5 ] {} ] { } (7 .5 ,0)[( 0,1 )[ 7.5]{ }]{} ( 5 , 0)

- --------- --- - ---- -- -- ------- ------------- -- ---------- -- --- ------ - - -----

[ **Proof
\ \geq\_J(\delta^{(d)})_p-J(\delta^{(d)})_1\ \geq\_
  L_p-L_1\ >\_m+p,$$ a_contradiction,_which proves_the_claim. Thus (\[eq:lt\]) holds_for $\beta^{(b)}=\gamma^{(c)}\wedge\delta^{(d)}$.

Finally, let_$\zeta^{(z)}<\gamma^{(c)}\wedge\delta^{(d)}$ and suppose that (\[eq:lt\])_holds for all_$\beta^{(b)}$_with $\zeta^{(z)}<\beta^{(b)}\leq \alpha^{(a)}$. Then by Lemma \[lem:factor\], $$\varphi_{\alpha^{(a)}/\zeta^{(z)}}\bigl(\gamma^{(c)}\cdot\delta^{(d)}\ -\  
    \gamma^{(c)}\vee\delta^{(d)}\cdot\gamma^{(c)}\wedge\delta^{(d)}_\bigr)
_ _\quad_=\quad_
  \varphi_{\alpha^{(a)}/\zeta^{(z)}}(\zeta^{(z)})\cdot
  \sum_{J}\lambda_J_\cdot
    _\phi_{J(\alpha^{(a)})/J(\zeta^{(z)})}(J)\,,$$ the_sum over sequences $J$ of rank $|J|=|\gamma^{(c)}|+|\delta^{(d)}|-|\zeta^{(z)}|$. But_this_exceeds the rank_of $\alpha^{(a)}$, since $\zeta^{(z)}<\gamma^{(c)}\wedge\delta^{(d)}$ and $|\alpha^{(a)}|+|\gamma^{(c)}\wedge\delta^{(d)}|
=|\gamma^{(c)}|+|\delta^{(d)}|$. Thus the sum_vanishes and so (\[eq:lt\]) holds for all_$\beta^{(b)}\leq\alpha^{(a)}$, which proves_the_lemma.

(7.5,7.5)(0,0)_( 0, 0)[(1,0)[7.5]{}]{} (_0,2.5)[(1,0)[7.5]{}]{} ( 0, 5)[(1,0)[7.5]{}]{} (2.5,7.5)[(1,0)[5]{}]{} (_0, 0)[(0,1)[5]{}]{} (2.5, 0)[(0,1)[7.5]{}]{} ( 5,_0)[(0,1)[7.5]{}]{} (7.5, 0)[(0,1)[7.5]{}]{} ( 5, 0)

------------------------------------------------------------------------

[**Proof