 set $\{{\mathfrak{m}}' \in \{0,\dots, \mathfrak{M}_p-1\}, \;  k_{p,{\mathfrak{m}}'+1} \leq k_{p+1,{\mathfrak{m}}+1} \}$ is non empty and we can thus define the largest integer ${\mathfrak{m}}'$ of $\{0,\dots, \mathfrak{M}_p-1\}$ such that $ k_{p,{\mathfrak{m}}'+1} \leq k_{p+1,{\mathfrak{m}}+1} $. We then have $$k_{p,{\mathfrak{m}}'} = \sup \left\{k < k_{p,{\mathfrak{m}}'+1}, \; \mathfrak{j}_{\text{min}}^{(i,\ell_k)} > p \right\}.$$ Since $k_{p,{\mathfrak{m}}'} < k_{p+1,{\mathfrak{m}}+1}$, $$\begin{aligned}
k_{p,{\mathfrak{m}}'} &=& \sup \left\{k <  k_{p+1,{\mathfrak{m}}+1}, \; \mathfrak{j}_{\text{min}}^{(i,\ell_k)} > p \right\}  \\
&\geq& \sup \left\{k <  k_{p+1,{\mathfrak{m}}+1}, \; \mathfrak{j}_{\text{min}}^{(i,\ell_k)} > p + 1 \right\}  \\
&\geq& k_{p+1,{\mathfrak{m}}}.\end{aligned}$$ Hence, $k_{p,{\mathfrak{m}}'+1} \geq k_{p,{\mathfrak{m}}'} + 1 \geq k_{p+1,{\mathfrak{m}}} + 1$. Finally, $k_{p,{\mathfrak{m}}'+1} \in K_{p,{\mathfrak{m}}}$.

\[Proof of Claim \[ClaimPreuveAlgoDim2Kappa0\]\] Let $i \in \{1,\dots,N-1\}$ and $\ell \in \{1,\dots,L_i\}$. Then, $$\begin{aligned}
{\text{diam}}(\Theta_i) &\leq&   \sup_{1 \leq j \leq d} {  \begingroup
  \def\mathaccent#R##2{    \rel@kern{0.8}    \overline{\rel@kern{-0.8}\macc@nucleus\
set $ \{{\mathfrak{m } }' \in \{0,\dots, \mathfrak{M}_p-1\ }, \;   k_{p,{\mathfrak{m}}'+1 } \leq k_{p+1,{\mathfrak{m}}+1 } \}$ is non empty and we can thus define the bombastic integer $ { \mathfrak{m}}'$ of $ \{0,\dots, \mathfrak{M}_p-1\}$ such that $ k_{p,{\mathfrak{m}}'+1 } \leq k_{p+1,{\mathfrak{m}}+1 } $. We then take $ $ k_{p,{\mathfrak{m } }' } = \sup \left\{k < k_{p,{\mathfrak{m}}'+1 }, \; \mathfrak{j}_{\text{min}}^{(i,\ell_k) } > p \right\}.$$ Since $ k_{p,{\mathfrak{m } }' } < k_{p+1,{\mathfrak{m}}+1}$, $ $ \begin{aligned } 
 k_{p,{\mathfrak{m } }' } & = & \sup \left\{k <   k_{p+1,{\mathfrak{m}}+1 }, \; \mathfrak{j}_{\text{min}}^{(i,\ell_k) } > p \right\ }   \\ 
 & \geq & \sup \left\{k <   k_{p+1,{\mathfrak{m}}+1 }, \; \mathfrak{j}_{\text{min}}^{(i,\ell_k) } > p + 1 \right\ }   \\ 
 & \geq & k_{p+1,{\mathfrak{m}}}.\end{aligned}$$ Hence, $ k_{p,{\mathfrak{m}}'+1 } \geq k_{p,{\mathfrak{m } }' } + 1 \geq k_{p+1,{\mathfrak{m } } } + 1$. Finally, $ k_{p,{\mathfrak{m}}'+1 } \in K_{p,{\mathfrak{m}}}$. 

 \[Proof of Claim   \[ClaimPreuveAlgoDim2Kappa0\]\ ] Let $ i \in \{1,\dots, N-1\}$ and $ \ell \in \{1,\dots, L_i\}$. Then, $ $ \begin{aligned } 
 { \text{diam}}(\Theta_i) & \leq &    \sup_{1 \leq j \leq d } {   \begingroup 
   \def\mathaccent#R##2 {     \rel@kern{0.8 }     \overline{\rel@kern{-0.8}\macc@nucleus\
 seh $\{{\mathfrak{m}}' \in \{0,\dots, \mathnrak{M}_p-1\}, \;  k_{p,{\mathftaj{m}}'+1} \leq k_{p+1,{\matgfrak{m}}+1} \}$ ks non empty and we can thus dwfine the largest integer ${\mxthfrak{m}}'$ lf $\{0,\dots, \nathhrak{M}_p-1\}$ such that $ k_{p,{\mathnxak{m}}'+1} \mcq k_{p+1,{\kethfrak{m}}+1} $. We thgn have $$k_{p,{\madhfrak{m}}'} = \sup \lafg\{k < k_{p,{\mathfrak{m}}'+1}, \; \mathfrak{j}_{\text{min}}^{(i,\ell_h)} > p \ribhh\}.$$ Since $k_{p,{\mathsrak{k}}'} < k_{p+1,{\jathfrak{m}}+1}$, $$\begin{aligned}
k_{p,{\mathfrak{m}}'} &=& \sup \leht\{k <  k_{p+1,{\mathfral{m}}+1}, \; \mathfrak{j}_{\text{min}}^{(i,\ell_k)} > p \rlght\}  \\
&\geq& \sup \left\{n <  k_{p+1,{\mathftzk{m}}+1}, \; \mathfrak{j}_{\tebt{min}}^{(i,\ell_k)} > p + 1 \right\}  \\
&\geq& k_{p+1,{\mathfrak{m}}}.\end{aligned}$$ Hencd, $k_{p,{\mcthfrak{m}}'+1} \gew j_{p,{\mwjhfrak{m}}'} + 1 \gew k_{p+1,{\mwthfrak{m}}} + 1$. Flmally, $n_{p,{\mathftak{m}}'+1} \in K_{p,{\mathnrak{m}}}$.

\['rood of Claim \[ClaimPreuveElgoDim2Kappa0\]\] Let $i \ig \{1,\dots,N-1\}$ atd $\ell \in \{1,\dots,L_i\}$. Thwn, $$\begit{alicned}
{\gwxt{aiaj}}(\Tietz_i) &\leq&   \aup_{1 \leq j \meq d} {  \begungroup
  \def\mathacctnt#W##2{    \rel@kern{0.8}    \overjige{\rel@kern{-0.8}\macc@nucleus\
set $\{{\mathfrak{m}}' \in \{0,\dots, \mathfrak{M}_p-1\}, \; k_{p,{\mathfrak{m}}'+1} \}$ non empty we can thus of \mathfrak{M}_p-1\}$ such that k_{p,{\mathfrak{m}}'+1} \leq k_{p+1,{\mathfrak{m}}+1} We then have $$k_{p,{\mathfrak{m}}'} = \sup < k_{p,{\mathfrak{m}}'+1}, \; \mathfrak{j}_{\text{min}}^{(i,\ell_k)} > p \right\}.$$ Since $k_{p,{\mathfrak{m}}'} < k_{p+1,{\mathfrak{m}}+1}$, $$\begin{aligned} k_{p,{\mathfrak{m}}'} \sup \left\{k < k_{p+1,{\mathfrak{m}}+1}, \; \mathfrak{j}_{\text{min}}^{(i,\ell_k)} > p \right\} \\ &\geq& \sup \left\{k k_{p+1,{\mathfrak{m}}+1}, \mathfrak{j}_{\text{min}}^{(i,\ell_k)} p 1 \right\} \\ &\geq& k_{p+1,{\mathfrak{m}}}.\end{aligned}$$ Hence, $k_{p,{\mathfrak{m}}'+1} \geq k_{p,{\mathfrak{m}}'} + 1 \geq k_{p+1,{\mathfrak{m}}} + 1$. Finally, \in K_{p,{\mathfrak{m}}}$. \[Proof of Claim \[ClaimPreuveAlgoDim2Kappa0\]\] Let $i \{1,\dots,N-1\}$ and $\ell \in Then, $$\begin{aligned} {\text{diam}}(\Theta_i) &\leq& \sup_{1 j d} { \def\mathaccent#R##2{ \overline{\rel@kern{-0.8}\macc@nucleus\
 set $\{{\mathfrak{m}}' \in \{0,\dots, \mathfraK{M}_p-1\}, \;  k_{p,{\mathfRak{m}}'+1} \lEq k_{P+1,{\maThFrak{M}}+1} \}$ is nOn empty and we caN Thus Define the largest integeR ${\mathFrAK{m}}'$ of $\{0,\DOtS, \mathFrak{M}_p-1\}$ sUCh THAt $ k_{P,{\mAtHfrAk{M}}'+1} \LeQ k_{p+1,{\maThfRak{m}}+1} $. We tHen have $$k_{p,{\mAthFrAk{m}}'} = \sup \left\{k < k_{P,{\MaThfrak{m}}'+1}, \; \matHfrAk{j}_{\text{min}}^{(i,\eLl_k)} > P \right\}.$$ siNce $K_{P,{\mathFraK{m}}'} < k_{p+1,{\mAthfraK{M}}+1}$, $$\begin{Aligned}
k_{p,{\MaTHfrak{m}}'} &=& \SUp \left\{k <  K_{P+1,{\MaThfrAk{m}}+1}, \; \mathfrak{j}_{\text{mIN}}^{(i,\ELl_k)} > p \right\}  \\
&\geq& \suP \left\{k <  K_{p+1,{\MAtHFRak{M}}+1}, \; \maThfrak{j}_{\texT{mIn}}^{(i,\elL_K)} > p + 1 \right\}  \\
&\GEq& K_{P+1,{\MAthFRak{m}}}.\end{aligneD}$$ Hence, $k_{p,{\matHFraK{m}}'+1} \geq k_{P,{\mAthFRak{m}}'} + 1 \geQ k_{p+1,{\maThFRak{M}}} + 1$. Finally, $k_{p,{\mAthfRak{m}}'+1} \in K_{p,{\mAthfraK{M}}}$.

\[Proof oF claim \[ClAimPreUvealgODim2kApPa0\]\] let $I \iN \{1,\DotS,n-1\}$ aNd $\eLL \in \{1,\Dots,L_i\}$. ThEn, $$\BeGin{alIgneD}
{\TEXT{diaM}}(\ThEta_i) &\Leq&   \suP_{1 \leq j \leq d} {  \begiNgrOup
  \dEF\maThaccEnt#R##2{    \rEl@keRn{0.8}    \OverlIne{\rel@Kern{-0.8}\mAcC@nucleus\
 set $\{{\mathfrak{m}}' \i n \{0,\dot s, \m ath fra k{ M}_p -1\} , \;  k_{p,{\m a thfr ak{m}}'+1} \leq k_{p+1 ,{\ma th f rak{ m }} +1} \ }$ is n o ne m pty  a nd  we  c a nthusdef ine the  largest i nte ge r ${\mathfra k {m }}'$ of $\ {0, \dots, \math fra k{M}_p -1 \}$ suchtha t $ k _{p,{\ m athfra k{m}}'+1}  \ l eq k_{ p +1,{\ma t h fr ak{m }}+1} $. We thenh av e  $$k_{p,{\math frak{m }} ' }= \su p \ left\{k <k_ {p,{\ m athfrak { m} } ' + 1}, \; \mathfrak{ j}_{\text{m i n}} ^{(i,\ el l_k ) } > p\righ t\ } .$$  Since $k_{ p,{\ mathfrak{ m}}'}<  k_{p+1 , {\mathf rak{m} }+1 }$,  $$\ b eg in {al ig n ed} k_ {p, { \ma thfrak{m }} '}  &=&\sup \ l e ft\{ k <   k_ {p+1, {\mathfrak{m} }+1 }, \ ;  \m athfr ak{j} _{\t ex t{min }}^{(i ,\ell _k )} > p \right\}   \\ 
&\geq& \ sup  \ lef t\ {k <k_{p+1 ,{\ mat hfrak{m }}+1},\ ; \ ma t h f ra k{j}_{\text{min}}^ {( i , \e ll_k)} >  p + 1 \r ig h t\}  \\&\ geq & k_ { p +1,{\ math f ra k{m}}}.\ end{al i gn ed }$$ Hen ce , $k_{ p, {\m ath frak{ m }}'+ 1} \ge q k_{p,{ \math f rak{m}}'} + 1\ geq k_{p+1,{\ m at h f ra k {m}} } +  1$. Finall y, $ k _{p, {\ma t hf rak { m}}'+ 1} \i nK _{ p ,{\mathfrak{m}}}$.
\ [Proof  of C laim \[ClaimP reuveAlgoD i m 2 Kappa0\] \] L e t$ i \in \{1,\dot s,N-1 \}$ and $\ e ll \in \ {1,\d ots,L_i\ }$. Then, $ $\begin{ ali gne d}{\t e x t{ diam}}(\Theta _ i ) &\ le q&   \s up_ {1 \leq  j\le q d } {  \begingro up
  \de f\ ma th ac cen t#R## 2 {    \re l@ ker n{ 0.8 }   \ overli ne{\r el@k er n{ - 0.8 }\macc@ n uc l e us\
 set_$\{{\mathfrak{m}}' \in_\{0,\dots, \mathfrak{M}_p-1\}, \; _k_{p,{\mathfrak{m}}'+1} \leq_k_{p+1,{\mathfrak{m}}+1}_\}$ is_non_empty and we_can thus define_the largest integer ${\mathfrak{m}}'$_of $\{0,\dots, \mathfrak{M}_p-1\}$_such_that $ k_{p,{\mathfrak{m}}'+1} \leq k_{p+1,{\mathfrak{m}}+1} $. We then have $$k_{p,{\mathfrak{m}}'} = \sup \left\{k <_k_{p,{\mathfrak{m}}'+1},_\; \mathfrak{j}_{\text{min}}^{(i,\ell_k)}_>_p_\right\}.$$ Since $k_{p,{\mathfrak{m}}'} < k_{p+1,{\mathfrak{m}}+1}$,_$$\begin{aligned}
k_{p,{\mathfrak{m}}'} &=& \sup \left\{k <_ k_{p+1,{\mathfrak{m}}+1},_\; \mathfrak{j}_{\text{min}}^{(i,\ell_k)} > p \right\}  \\
&\geq& \sup_\left\{k_<  k_{p+1,{\mathfrak{m}}+1},_\; \mathfrak{j}_{\text{min}}^{(i,\ell_k)} > p + 1 \right\}  \\
&\geq&_k_{p+1,{\mathfrak{m}}}.\end{aligned}$$ Hence, $k_{p,{\mathfrak{m}}'+1} \geq k_{p,{\mathfrak{m}}'} +_1 \geq k_{p+1,{\mathfrak{m}}}_+_1$._Finally, $k_{p,{\mathfrak{m}}'+1} \in K_{p,{\mathfrak{m}}}$.

\[Proof_of Claim \[ClaimPreuveAlgoDim2Kappa0\]\] Let $i \in \{1,\dots,N-1\}$_and $\ell \in \{1,\dots,L_i\}$. Then, $$\begin{aligned}
{\text{diam}}(\Theta_i)_&\leq&   \sup_{1 \leq j \leq_d} {  \begingroup
  \def\mathaccent#R##2{_   \rel@kern{0.8} _ _\overline{\rel@kern{-0.8}\macc@nucleus\