mu'),L(\lambda'))
 \cong  {{\text{\rm Ext}}}^n_{G}(L(\mu'),L(\lambda'))\\ \end{aligned}$$

for all $n\leq m$. Also, for any $\ell\geq 0$, the restriction map $${{\text{\rm Ext}}}^n_{G(p^{r+\ell})}(L(\mu'),L(\lambda'))
\to {{\text{\rm Ext}}}^n_{G(q)}(L(\mu'),L(\lambda'))$$ is an isomorphism.

Clearly, (a) is a special case of (b), so it suffices to prove (b).

By Theorem \[digitsForG(q)\], there is a constant $d=d(\Phi,n)$ so that, given $\lambda,\mu\in X^+_r$, then $\lambda$ and $\mu$ differ in at most $d$ digits if ${{\text{\rm Ext}}}_{G(q)}^n(L(\mu),L(\lambda))\not=0$. We may take $d(\Phi,n)\geq \delta(\Phi,n)$, where the latter constant satisfies Theorem \[digits\], so that $\lambda$ and $\mu$ differ in at most $d$ digits if ${{\text{\rm Ext}}}_G^n(L(\mu),L(\lambda))\not=0$.[^11] Of course, we may also take $d\geq\epsilon$. If $e'>0$, these comments apply equally well to $p^{e'}\lambda$ and $p^{e'}\mu$. So $\lambda$ and $\mu$, whose digits correspond naturally to those of $p^{e'}\lambda$ and $p^{e'}\mu$, differ in at most $d$ digits if ${{\text{\rm Ext}}}^n_G(L(\mu)^{[e']}, L(\lambda)^{[e']})\not=0$. Therefore, if $\lambda$ and $\mu$ differ in more than $d=d(\Phi,n)$ digits, the claims of (b) hold.

In the same spirit, $\lambda$ and $\mu$ differ in at most $d$ digits, if ${{\text{\rm Ext}}}^n_{G(q')}(L(\mu),L(\lambda))
\not=0$ for some larger power $q'$ of $p$. Otherwise, the relevant ${{\text{\rm Ext}}}$-groups all vanish, the isomorphism of (b)
mu'),L(\lambda') ) 
  \cong   { { \text{\rm Ext}}}^n_{G}(L(\mu'),L(\lambda'))\\ \end{aligned}$$ 

 for all $ n\leq m$. Also, for any $ \ell\geq 0 $, the restriction map $ $ { { \text{\rm Ext}}}^n_{G(p^{r+\ell})}(L(\mu'),L(\lambda') ) 
 \to { { \text{\rm Ext}}}^n_{G(q)}(L(\mu'),L(\lambda'))$$ is an isomorphism. 

 Clearly, (a) is a special subject of (boron), so it suffices to prove (b). 

 By Theorem \[digitsForG(q)\ ], there be a constant $ d = d(\Phi, n)$ so that, give $ \lambda,\mu\in X^+_r$, then $ \lambda$ and $ \mu$ differ in at most $ d$ digit if $ { { \text{\rm Ext}}}_{G(q)}^n(L(\mu),L(\lambda))\not=0$. We may take $ d(\Phi, n)\geq \delta(\Phi, n)$, where the latter constant satisfies Theorem \[digits\ ], so that $ \lambda$ and $ \mu$ disagree in at most $ d$ digits if $ { { \text{\rm Ext}}}_G^n(L(\mu),L(\lambda))\not=0$.[^11 ] Of course, we may also drive $ d\geq\epsilon$. If $ e'>0 $, these comments apply equally well to $ p^{e'}\lambda$ and $ p^{e'}\mu$. So $ \lambda$ and $ \mu$, whose digits match naturally to those of $ p^{e'}\lambda$ and $ p^{e'}\mu$, differ in at most $ d$ digits if $ { { \text{\rm Ext}}}^n_G(L(\mu)^{[e' ] }, L(\lambda)^{[e']})\not=0$. consequently, if $ \lambda$ and $ \mu$ differ in more than $ d = d(\Phi, n)$ digits, the title of (b) clasp. 

 In the same spirit, $ \lambda$ and $ \mu$ differ in at most $ d$ digits, if $ { { \text{\rm Ext}}}^n_{G(q')}(L(\mu),L(\lambda) ) 
 \not=0 $ for some larger office $ q'$ of $ p$. Otherwise, the relevant $ { { \text{\rm Ext}}}$-groups all vanish, the isomorphism of (b )
mu'),L(\pambda'))
 \cong  {{\text{\rm Ext}}}^n_{N}(L(\mu'),L(\lambda'))\\ \end{aligned}$$

fmr all $n\leq m$. Xlso, for any $\ell\geq 0$, the resvricrion nap $${{\text{\rm Ext}}}^n_{G(p^{r+\ell})}(L(\ou'),L(\lambda'))
\no {{\text{\rm Ext}}}^i_{G(q)}(L(\mu'),L(\lambda'))$$ is an isomorphisj.

Glearnb, (a) is a speciak case of (t), so it sufficas tl prove (b).

By Theorem \[digitsForG(q)\], thewe is a clnstant $d=d(\Phi,n)$ so uhae, gibvn $\lambda,\mu\in X^+_r$, then $\lambda$ ans $\mu$ dihfer in at most $d$ digits if ${{\text{\rm Ext}}}_{G(q)}^n(P(\mu),L(\pambda))\not=0$. We may twke $d(\Phi,n)\gew \dejra(\Phi,n)$, where the latteg constant aatisfies Theorem \[digits\], so thag $\lamyda$ and $\mu$ eidfeg in at most $d$ didits if ${{\text{\vk Ext}}}_G^t(L(\mu),L(\lakbda))\not=0$.[^11] Of couvse, wx mat also take $d\geq\epsilmn$. If $e'>0$, these commgnts apply esually well to $p^{e'}\oanbda$ dnd $[^{e'}\mu$. Wo $\uamgde$ ahd $\mu$, ahoae digits dorrespond baturally to those pf $i^{r'}\lambda$ and $l^{e'}\mu$, dyfser in at most $d$ digits if ${{\text{\rm Ext}}}^n_G(N(\mu)^{[s']}, L(\lambda)^{[e']})\not=0$. Therefore, if $\lambda$ and $\mu$ difver in mowe than $d=d(\Phi,n)$ digits, the claims of (b) hold.

In the vame aoirnb, $\uqmhda$ and $\mu$ differ in at most $d$ digits, if ${{\text{\wj Txt}}}^k_{G(q')}(L(\mu),L(\lambda))
\not=0$ for some lsrhet power $q'$ of $p$. Othercjss, the relevant ${{\texh{\rm Ext}}}$-droupw all vanysh, yhe isomorphism of (b)
mu'),L(\lambda')) \cong {{\text{\rm Ext}}}^n_{G}(L(\mu'),L(\lambda'))\\ \end{aligned}$$ for all Also, any $\ell\geq the restriction map is isomorphism. Clearly, (a) a special case (b), so it suffices to prove By Theorem \[digitsForG(q)\], there is a constant $d=d(\Phi,n)$ so that, given $\lambda,\mu\in X^+_r$, $\lambda$ and $\mu$ differ in at most $d$ digits if ${{\text{\rm Ext}}}_{G(q)}^n(L(\mu),L(\lambda))\not=0$. We take \delta(\Phi,n)$, the constant satisfies Theorem \[digits\], so that $\lambda$ and $\mu$ differ in at most $d$ digits if Ext}}}_G^n(L(\mu),L(\lambda))\not=0$.[^11] Of course, we may also take $d\geq\epsilon$. $e'>0$, these comments apply well to $p^{e'}\lambda$ and $p^{e'}\mu$. $\lambda$ $\mu$, whose correspond to of $p^{e'}\lambda$ and differ in at most $d$ digits if ${{\text{\rm Ext}}}^n_G(L(\mu)^{[e']}, L(\lambda)^{[e']})\not=0$. Therefore, if $\lambda$ and $\mu$ differ in than $d=d(\Phi,n)$ claims of hold. the spirit, $\lambda$ and in at most $d$ digits, if for some larger power $q'$ of $p$. Otherwise, relevant ${{\text{\rm all vanish, the isomorphism of (b)
mu'),L(\lambda'))
 \cong  {{\text{\rm Ext}}}^n_{G}(L(\Mu'),L(\lambda'))\\ \eNd{aliGneD}$$

foR aLl $n\lEq m$. ALso, for any $\ell\geQ 0$, The rEstriction map $${{\text{\rm Ext}}}^N_{G(p^{r+\eLl})}(l(\Mu'),L(\lAMbDa'))
\to {{\tExt{\rm ExT}}}^N_{G(Q)}(l(\Mu'),L(\LaMbDa'))$$ iS aN IsOmorpHisM.

ClearlY, (a) is a speciAl cAsE of (b), so it suffICeS to prove (b).

BY ThEorem \[digitsFOrG(Q)\], there Is A coNStant $D=d(\PHi,n)$ so That, giVEn $\lambDa,\mu\in X^+_r$, tHeN $\Lambda$ ANd $\mu$ difFER iN at mOst $d$ digits if ${{\text{\rM exT}}}_{g(q)}^n(L(\mu),L(\lambda))\nOt=0$. We maY tAKe $D(\pHi,n)\Geq \Delta(\Phi,n)$, wHeRe the LAtter coNStANT SatISfies Theorem \[dIgits\], so that $\LAmbDa$ and $\mU$ dIffER in at mOst $d$ dIgITs iF ${{\text{\rm Ext}}}_G^N(L(\mu),l(\lambda))\noT=0$.[^11] Of couRSe, we may ALso take $D\geq\epSilOn$. IF $e'>0$, thESe CoMmeNtS AppLY eQuaLLy wEll to $p^{e'}\lAmBdA$ and $p^{E'}\mu$. SO $\LAMBda$ aNd $\mU$, whoSe digIts correspond NatUralLY to Those Of $p^{e'}\lAmbdA$ aNd $p^{e'}\mU$, diffeR in at MoSt $d$ digits if ${{\text{\Rm ExT}}}^n_G(L(\mu)^{[e']}, L(\lAmbDa)^{[E']})\noT=0$. THerefORe, if $\laMbdA$ anD $\mu$ diffEr in morE ThaN $d=D(\pHI,n)$ Digits, the claims of (b) HoLD.

in The same sPirit, $\lAMbDa$ ANd $\mu$ diffEr In aT mosT $D$ DigitS, if ${{\tEXt{\Rm Ext}}}^n_{G(q')}(l(\mu),L(\laMBdA))
\nOt=0$ for soMe Larger PoWer $Q'$ of $P$. OtheRWise, The relEvant ${{\texT{\rm ExT}}}$-Groups all vanisH, The isomorphisM Of (B)
mu'),L(\lambda'))
 \cong {{\text{\r m Ext }}} ^n_ {G }(L( \mu' ),L(\lambda')) \ \ \e nd{aligned}$$

for all  $n\l eq m$.A ls o, fo r any $ \ el l \ geq  0 $,  th er es trict ion  map $$ {{\text{\r m E xt }}}^n_{G(p^{ r +\ ell})}(L(\ mu' ),L(\lambda' ))\to {{ \t ext { \rm E xt} }}^n_ {G(q)} ( L(\mu' ),L(\lamb da ' ))$$ i s  an iso m o rp hism .

Clearly, (a) i s  a special case o f (b),  s o  i t suf fic es to prov e(b).By Theo r em \ [ dig i tsForG(q)\],there is ac ons tant $ d= d(\ P hi,n)$  so t ha t , g iven $\lamb da,\ mu\in X^+ _r$, t h en $\la m bda$ an d $\mu $ d iff er i n  a tmos t$ d$d ig its if${{\text {\ rm  Ext} }}_{ G ( q ) }^n( L(\ mu), L(\la mbda))\not=0$ . W e ma y  ta ke $d (\Phi ,n)\ ge q \de lta(\P hi,n) $,  where the latt er c onstant s ati sf ies  T heore m  \[dig its \],  so tha t $\lam b da$  a n d $\ mu$ differ in at m os t $d $ digits  if ${ { \t ex t {\rm Ext }} }_G ^n(L ( \ mu),L (\la m bd a))\not= 0$.[^1 1 ]Of  course ,we may  a lso  ta ke $d \ geq\ epsilo n$. If $ e'>0$ ,  these comment s  apply equall y  w e l lt o $p ^{e '}\lambda$and$ p^{e '}\m u $.  So $\lam bda$an d  $ \ mu$, whose digits c or respon d nat urally to tho se of $p^{ e ' } \lambda$  and $p ^ {e'}\mu$, diff er in  at most $ d $ digits  if $ {{\text{ \rm Ext}} } ^ n_G(L(\m u)^ {[e ']} , L ( \ la mbda)^{[e']}) \ n ot=0 $.  Theref ore , if $\ lam bda $ a nd$\ mu$ diffe r in mor eth an  $ d=d (\Phi , n)$ digi ts , t he  cl aimso f (b)hold. 

In  t he sam e spiri t ,$ \ lamb da $and$\m u$  diff er i n  at  most $ d$ digits , i f  ${{ \t ex t{\rm E xt}}}^n_{G(q' )} (L(\mu),L( \l amb da))
\ n o t=0$ for  some larger power $q'$ of $p$.  Ot herwi se,the relev ant  ${{\t ext { \rm Ex t}}}$- group sall v anish , th e i so morphism o f (b) 
mu'),L(\lambda'))
 \cong_ {{\text{\rm_Ext}}}^n_{G}(L(\mu'),L(\lambda'))\\ \end{aligned}$$

for all $n\leq_m$. Also,_for_any $\ell\geq_0$,_the restriction map_$${{\text{\rm Ext}}}^n_{G(p^{r+\ell})}(L(\mu'),L(\lambda'))
\to {{\text{\rm_Ext}}}^n_{G(q)}(L(\mu'),L(\lambda'))$$ is an isomorphism.

Clearly,_(a) is a_special_case of (b), so it suffices to prove (b).

By Theorem \[digitsForG(q)\], there is a_constant_$d=d(\Phi,n)$ so_that,_given_$\lambda,\mu\in X^+_r$, then $\lambda$ and_$\mu$ differ in at most_$d$ digits_if ${{\text{\rm Ext}}}_{G(q)}^n(L(\mu),L(\lambda))\not=0$. We may take $d(\Phi,n)\geq \delta(\Phi,n)$,_where_the latter constant_satisfies Theorem \[digits\], so that $\lambda$ and $\mu$ differ_in at most $d$ digits if_${{\text{\rm Ext}}}_G^n(L(\mu),L(\lambda))\not=0$.[^11] Of_course,_we_may also take $d\geq\epsilon$._If $e'>0$, these comments apply equally_well to $p^{e'}\lambda$ and $p^{e'}\mu$. So_$\lambda$ and $\mu$, whose digits correspond naturally_to those of $p^{e'}\lambda$ and $p^{e'}\mu$,_differ in at most $d$_digits if_${{\text{\rm Ext}}}^n_G(L(\mu)^{[e']}, L(\lambda)^{[e']})\not=0$. Therefore, if_$\lambda$ and $\mu$_differ in_more than $d=d(\Phi,n)$_digits, the claims of (b) hold.

In_the same spirit,_$\lambda$ and $\mu$ differ in at_most_$d$ digits, if_${{\text{\rm_Ext}}}^n_{G(q')}(L(\mu),L(\lambda))
\not=0$_for some_larger power $q'$_of_$p$. Otherwise,_the_relevant ${{\text{\rm Ext}}}$-groups all vanish, the_isomorphism_of (b)