K_\alpha \supseteq H^{00}$, and $$H \cap K_\alpha \ne H \cap K_{\alpha'}$$ for $\alpha < \alpha' < \kappa_1$. By Lemma \[extract-of-mer\], there are subsets $S_1, S_2 \subseteq \kappa_1$ such that $|S_1| <
    \aleph_0$, $|S_2| = (2^{\kappa_0})^+$, and $$\left( \bigcap_{\alpha \in S_1} K_\alpha \right)^{00} \subseteq
      \bigcap_{\alpha \in S_2} K_\alpha.$$ Let $J$ be the left-hand side. Then $J$ is an $\omega$-definable group containing $H^{00}$, so $|H/(H \cap J)| < \kappa_0$ by Claim \[diamond-slide-claim\]. Now for any $\alpha \in S_2$, $$J \subseteq K_\alpha \implies H \cap J \subseteq H \cap K_\alpha
      \subseteq H.$$ There are at most $2^{|H/(H \cap J)|} \le 2^{\kappa_0}$ groups between $H \cap J$ and $J$, so there are at most $2^{\kappa_0}$ possibilities for $H \cap K_\alpha$, contradicting the fact that $|S_2| > 2^{\kappa_0}$ and the $H \cap K_\alpha$ are pairwise distinct for distinct $\alpha$.

Now given the claim, we see that the index of $H^{00}$ in $H$ can be at most $\kappa_0^{\kappa_1}$. Indeed, let $\mathcal{S}$ be the collection of $\omega$-definable groups $K$ such that $K \supseteq
  H^{00}$, and let $\mathcal{S}'$ be a subcollection containing a representative $K$ for every possibility of $H \cap K$. By the second claim, $|\mathcal{S}'| < \kappa_1$. Every type-definable group is an intersection of $\omega$-definable groups, so $$H^{00} = \bigcap_{K \in \mathcal{S}} K = \bigcap_{K \in
      \mathcal{S}} (H \cap K) = \bigcap_{K \in
K_\alpha \supseteq H^{00}$, and $ $ H \cap K_\alpha \ne H \cap K_{\alpha'}$$ for $ \alpha < \alpha' < \kappa_1$. By Lemma   \[extract - of - mer\ ], there are subsets $ S_1, S_2 \subseteq \kappa_1 $ such that $ |S_1| < 
     \aleph_0 $, $ |S_2| = (2^{\kappa_0})^+$, and $ $ \left (\bigcap_{\alpha \in S_1 } K_\alpha \right)^{00 } \subseteq 
       \bigcap_{\alpha \in S_2 } K_\alpha.$$ Let $ J$ be the leftover - bridge player side. Then $ J$ is an $ \omega$-definable group containing $ H^{00}$, therefore $ |H/(H \cap J)| < \kappa_0 $ by Claim   \[diamond - chute - claim\ ]. Now for any $ \alpha \in S_2 $, $ $ J \subseteq K_\alpha \implies H \cap J \subseteq H \cap K_\alpha 
       \subseteq H.$$ There are at about $ 2^{|H/(H \cap J)| } \le 2^{\kappa_0}$ groups between $ H \cap J$ and $ J$, so there are at about $ 2^{\kappa_0}$ hypothesis for $ H \cap K_\alpha$, contradicting the fact that $ |S_2| > 2^{\kappa_0}$ and the $ H \cap K_\alpha$ are pairwise clear-cut for distinct $ \alpha$. 

 Now give the claim, we see that the exponent of $ H^{00}$ in $ H$ can be at most $ \kappa_0^{\kappa_1}$. Indeed, lease $ \mathcal{S}$ be the solicitation of $ \omega$-definable groups $ K$ such that $ K \supseteq 
   H^{00}$, and let $ \mathcal{S}'$ be a subcollection containing a congressman $ K$ for every possibility of $ H \cap K$. By the second claim, $ |\mathcal{S}'| < \kappa_1$. Every character - definable group is an intersection of $ \omega$-definable group, so $ $ H^{00 } = \bigcap_{K \in \mathcal{S } } K = \bigcap_{K \in 
       \mathcal{S } } (H \cap K) = \bigcap_{K \in
K_\aloha \supseteq H^{00}$, and $$H \cap K_\alpha \ne H \cak J_{\alpha'}$$ for $\ampha < \aloha' < \kappa_1$. By Lemma \[extract-of-lee\], theee are subsets $S_1, S_2 \subreteq \kapia_1$ such tyat $|W_1| <
    \aleph_0$, $|S_2| = (2^{\kappa_0})^+$, and $$\mcft( \bngrap_{\alpha \in S_1} K_\slpha \righd)^{00} \subseteq
      \ciycap_{\alpha \in S_2} K_\alpha.$$ Let $J$ be the lqft-hand slde. Then $J$ is wn $\okqga$-dsfinable group containing $H^{00}$, so $|H/(H \dap J)| < \nappa_0$ by Claik \[diamond-slide-claim\]. Now for any $\alpha \in S_2$, $$J \subsfteq K_\alpha \impjues H \cap J \rubseteq H \cap K_\alpha
      \subseteq H.$$ There are at mort $2^{|H/(H \cap J)|} \le 2^{\jappa_0}$ croups betwxen $H \bap J$ and $J$, so there dre at kost $2^{\kappa_0}$ posxibmlitues for $H \cap K_\alpha$, rontradicting the fast that $|S_2| > 2^{\iappa_0}$ and the $H \cqp K_\alpva$ ase pxurwkse dmstjnct flr vistinct $\allha$.

Now giveb the claim, we see uhae the index of $H^{00}$ in $R$ san be at most $\kappa_0^{\kappa_1}$. Indeed, let $\mauhcal{A}$ be the collection of $\imega$-definable groups $K$ such trat $K \supseteq
  H^{00}$, and let $\mathcal{S}'$ be a subcollecdion rovtanklng x rfpresentative $K$ for every possibility of $H \ca[ K$. Bj the second claii, $|\mathcal{S}'| < \kwplw_1$. Every type-dgfinablz gdoup is an interseftion os $\ometa$-definabje gtoups, so $$H^{00} = \bigcap_{K \in \mathxal{S}} K = \bigccp_{K \in
      \mathcal{S}} (K \cap K) = \bigeap_{K \im
K_\alpha \supseteq H^{00}$, and $$H \cap K_\alpha \cap for $\alpha \alpha' < \kappa_1$. subsets S_2 \subseteq \kappa_1$ that $|S_1| < $|S_2| = (2^{\kappa_0})^+$, and $$\left( \bigcap_{\alpha S_1} K_\alpha \right)^{00} \subseteq \bigcap_{\alpha \in S_2} K_\alpha.$$ Let $J$ be the left-hand Then $J$ is an $\omega$-definable group containing $H^{00}$, so $|H/(H \cap J)| < by \[diamond-slide-claim\]. for $\alpha \in S_2$, $$J \subseteq K_\alpha \implies H \cap J \subseteq H \cap K_\alpha \subseteq H.$$ are at most $2^{|H/(H \cap J)|} \le 2^{\kappa_0}$ between $H \cap J$ $J$, so there are at $2^{\kappa_0}$ for $H K_\alpha$, the that $|S_2| > and the $H \cap K_\alpha$ are pairwise distinct for distinct $\alpha$. Now given the claim, we see the index in $H$ be most Indeed, let $\mathcal{S}$ collection of $\omega$-definable groups $K$ such H^{00}$, and let $\mathcal{S}'$ be a subcollection containing representative $K$ every possibility of $H \cap K$. the second claim, $|\mathcal{S}'| < \kappa_1$. Every type-definable is an intersection of $\omega$-definable groups, so $$H^{00} = \bigcap_{K \in \mathcal{S}} K = \bigcap_{K (H \cap K) = \in
K_\alpha \supseteq H^{00}$, and $$H \cap K_\alPha \ne H \cap K_{\Alpha'}$$ For $\AlpHa < \AlphA' < \kapPa_1$. By Lemma \[extraCT-of-mEr\], there are subsets $S_1, S_2 \subSeteq \KaPPa_1$ suCH tHat $|S_1| <
    \aLeph_0$, $|S_2| = (2^{\kaPPa_0})^+$, AND $$\leFt( \BiGcaP_{\aLPhA \in S_1} K_\AlpHa \right)^{00} \Subseteq
      \biGcaP_{\aLpha \in S_2} K_\alphA.$$ leT $J$ be the lefT-haNd side. Then $J$ iS an $\Omega$-dEfInaBLe groUp cOntaiNing $H^{00}$, sO $|h/(H \cap J)| < \Kappa_0$ by ClAiM \[DiamonD-Slide-clAIM\]. NOw foR any $\alpha \in S_2$, $$J \subsETeQ k_\alpha \implies H \Cap J \suBsETeQ h \Cap k_\alPha
      \subseteQ H.$$ there ARe at mosT $2^{|h/(H \CAP j)|} \le 2^{\KAppa_0}$ groups betWeen $H \cap J$ anD $j$, so There aRe At mOSt $2^{\kappA_0}$ possIbILitIes for $H \cap K_\AlphA$, contradiCting tHE fact thAT $|S_2| > 2^{\kappa_0}$ And the $h \caP K_\aLpha$ ARe PaIrwIsE DisTInCt fOR diStinct $\alPhA$.

NOw givEn thE CLAIm, we See That The inDex of $H^{00}$ in $H$ can bE at Most $\KAppA_0^{\kappA_1}$. IndeEd, leT $\mAthcaL{S}$ be thE collEcTion of $\omega$-defiNablE groups $K$ sUch ThAt $K \SuPseteQ
  h^{00}$, and leT $\maThcAl{S}'$ be a sUbcolleCTioN cONTAiNing a representativE $K$ FOR eVery possIbilitY Of $h \cAP K$. By the sEcOnd ClaiM, $|\MAthcaL{S}'| < \kaPPa_1$. every typE-definABlE gRoup is aN iNterseCtIon Of $\oMega$-dEFinaBle groUps, so $$H^{00} = \biGcap_{K \IN \mathcal{S}} K = \bigcAP_{K \in
      \mathcal{S}} (H \CAp k) = \BIgCAp_{K \iN
K_\alpha \supseteq H^{00}$ , and $$H\capK_\ alp ha  \ne  H \ cap K_{\alpha' } $$ f or $\alpha < \alpha' <  \kap pa _ 1$.B yLemma  \[extr a ct - o f-m er \] , t he r eare s ubs ets $S_ 1, S_2 \su bse te q \kappa_1$s uc h that $|S _1|  <
    \alep h_0 $, $|S _2 | = (2^{\ kap pa_0} )^+$,a nd $$\ left( \bi gc a p_{\al p ha \inS _ 1}  K_\ alpha \right)^{00 }  \ s ubseteq
     \bigca p_ { \a l p ha\in  S_2} K_\a lp ha.$$ Let $J$ be t h e l e ft-hand side.  Then $J$ i s  an  $\ome ga $-d e finabl e gro up con taining $H^ {00} $, so $|H /(H \c a p J)| < \kappa_ 0$ byCla im\[di a mo nd -sl id e -cl a im \]. Now  for any  $ \a lpha\inS _ 2 $ , $$ J \ subs eteqK_\alpha \imp lie s H\ cap  J \s ubset eq H  \ cap K _\alph a
    \subseteq H.$$  The re are at  mo st  $2 ^{ |H/(H \cap J )|}  \l e 2^{\k appa_0} $  gr ou p s be tween $H \cap J$ a nd $ J$ , so the re are at  m o st $2^{\ ka ppa _0}$ p ossib ilit i es  for $H\cap K _ \a lp ha$, co nt radict in g t hefactt hat$|S_2|  > 2^{\k appa_ 0 }$ and the $H\ cap K_\alpha$ ar e pa i rwis e d istinct for  dis t inct  $\a l ph a$. 
Nowgiven  t h ec laim, we see that t he  index  of $ H^{00}$ in $H $ can be a t m ost $\ka ppa_ 0 ^{ \ kappa_1}$. Ind eed,let $\math c al{S}$ b e the  collect ion of $\ o m ega$-def ina ble  gr oup s $K $ such that $ K \sup se teq
  H ^{0 0}$, an d l et$\m ath ca l{S}'$ be  a subco ll ec ti on  co ntain i ng a rep re sen ta tiv e $K$ for ev ery p ossi bi li t y o f $H \c a pK $ . By  t he  sec ond  c laim,  $|\ m ath cal{S}' | < \kapp a_1 $ . Ev er ytype-de finable group  i s an inter se cti on of$ \ omega$-d efinable groups, so $$H ^ {00} =\bi gcap_ {K \ in \mathc al{ S}} K= \ b igcap_ {K \in 
    \ma t h cal{S } }  ( H \ ca p K) = \bi g c ap_ {K \i n
K_\alpha \supseteq_H^{00}$, and_$$H \cap K_\alpha \ne_H \cap_K_{\alpha'}$$_for $\alpha_<_\alpha' < \kappa_1$._By Lemma \[extract-of-mer\], there_are subsets $S_1, S_2_\subseteq \kappa_1$ such_that_$|S_1| <
    \aleph_0$, $|S_2| = (2^{\kappa_0})^+$, and $$\left( \bigcap_{\alpha \in S_1}_K_\alpha_\right)^{00} \subseteq
___   \bigcap_{\alpha \in_S_2} K_\alpha.$$ Let $J$ be_the left-hand_side. Then $J$ is an $\omega$-definable group containing_$H^{00}$,_so $|H/(H \cap_J)| < \kappa_0$ by Claim \[diamond-slide-claim\]. Now for any $\alpha_\in S_2$, $$J \subseteq K_\alpha \implies_H \cap J_\subseteq_H_\cap K_\alpha
  _   \subseteq H.$$ There_are at most $2^{|H/(H \cap J)|}_\le 2^{\kappa_0}$ groups between $H \cap J$_and $J$, so there are at_most $2^{\kappa_0}$ possibilities for $H_\cap K_\alpha$,_contradicting the fact that $|S_2|_> 2^{\kappa_0}$ and_the $H_\cap K_\alpha$ are_pairwise distinct for distinct $\alpha$.

Now given_the claim, we_see that the index of $H^{00}$_in_$H$ can be_at_most_$\kappa_0^{\kappa_1}$. Indeed,_let $\mathcal{S}$ be_the_collection of_$\omega$-definable_groups $K$ such that $K \supseteq
__H^{00}$, and let $\mathcal{S}'$ be a subcollection_containing a representative $K$_for_every possibility of $H_\cap K$. By the second_claim, $|\mathcal{S}'| < \kappa_1$. Every type-definable_group is_an intersection_of $\omega$-definable groups, so $$H^{00} = \bigcap_{K \in \mathcal{S}} K =_\bigcap_{K \in
    _ \mathcal{S}} (H \cap_K) =_\bigcap_{K_\in