_{m-1} -1) c_{k,j}^{m-2, n} \\
 = &    c_{k-1, j}^{m-1, n}
 + (L -1 ) c_{k+1, j}^{m-1, n}  - (L_{m-1} -1) c_{k,j}^{m-2, n}.
 \end{split}$$ Exactly as we computed (with the difference that Lemma \[Lem=Blackbox\] is replaced by Lemma \[Lem=Blackbox\] ) we get the equalities $$h_m \gamma h_n = \sum_{k = 0}^{m+1} \sum_{j = 0}^{n} ( c_{k-1,j}^{m-1, n} + (L -1)  c_{k+1,j}^{m-1, n})  \gamma_{k, j}
 - (L_{m-1}-1)  \sum_{k = 0}^{m-2} \sum_{j = 0}^{n}  c_{k,j}^{m-2, n}  \gamma_{k,j}.$$ Thus $$c^{m,n}_{k,j} = c_{k-1, j}^{m-1, n} + (L -1 ) c_{k+1, j}^{m-1, n} - (L_m -1) c_{k,j}^{m-2, n}.$$ Combining the above with gives $c^{m,n}_{k,j} = b_{k,j}^{m,n} + b_{k+1,j+1}^{m,n}$ for all $0 \leq k \leq m, 0 \leq j \leq n$.

[*Proof of Theorem \[Thm=PukanszkyCore\].*]{} Lemma \[Lem=abcomputations\] shows that ${\mathsf{B}}\gamma {\mathsf{B}}\subseteq X_{\gamma}$ and ${\mathsf{B}}\beta {\mathsf{B}}\subseteq X_\beta$ and hence the inclusions hold also for the $\Vert \: \Vert_2$-closures. For the converse inclusion proceed by induction: take $h_n \gamma h_m \in {\mathsf{B}}\gamma {\mathsf{B}}$ and assume that all vectors $h_r \beta h_s$ with $r < n, s
_ { m-1 } -1) c_{k, j}^{m-2, n } \\ 
  = &     c_{k-1, j}^{m-1, n } 
  + (L -1) c_{k+1, j}^{m-1, n }   - (L_{m-1 } -1) c_{k, j}^{m-2, n }. 
  \end{split}$$ Exactly as we computed (with the difference that Lemma \[Lem = Blackbox\ ] is replace by Lemma \[Lem = Blackbox\ ]) we make the equalities $ $ h_m \gamma h_n = \sum_{k = 0}^{m+1 } \sum_{j = 0}^{n } (c_{k-1,j}^{m-1, n } + (L -1)   c_{k+1,j}^{m-1, n })   \gamma_{k, j } 
  - (L_{m-1}-1)   \sum_{k = 0}^{m-2 } \sum_{j = 0}^{n }   c_{k, j}^{m-2, n }   \gamma_{k, j}.$$ Thus $ $ c^{m, n}_{k, joule } = c_{k-1, j}^{m-1, n } + (L -1) c_{k+1, j}^{m-1, n } - (L_m -1) c_{k, j}^{m-2, n}.$$ Combining the above with gives $ c^{m, n}_{k, joule } = b_{k, j}^{m, n } + b_{k+1,j+1}^{m, n}$ for all $ 0 \leq k \leq m, 0 \leq j \leq n$. 

 [ * validation of Theorem \[Thm = PukanszkyCore\ ]. * ] { } Lemma \[Lem = abcomputations\ ] shows that $ { \mathsf{B}}\gamma { \mathsf{B}}\subseteq X_{\gamma}$ and $ { \mathsf{B}}\beta { \mathsf{B}}\subseteq X_\beta$ and hence the inclusions hold also for the $ \Vert \: \Vert_2$-closures. For the converse inclusion body proceed by induction: take $ h_n \gamma h_m \in { \mathsf{B}}\gamma { \mathsf{B}}$ and assume that all vector $ h_r \beta h_s$ with $ r < n, s
_{m-1} -1) f_{k,j}^{m-2, n} \\
 = &    c_{k-1, j}^{m-1, n}
 + (L -1 ) c_{k+1, j}^{m-1, n}  - (L_{m-1} -1) c_{k,j}^{m-2, n}.
 \end{spmit}$$ Exacgly as we computed (with the viffwrenct that Lemma \[Lem=Blazkbox\] is geplaced vy Ltmma \[Lem=Blackbox\] ) we get bke eqhwlitnew $$h_m \gamma h_n = \sum_{k = 0}^{m+1} \sgm_{j = 0}^{n} ( c_{k-1,j}^{m-1, n} + (U -1)  c_{k+1,j}^{m-1, n})  \gamma_{k, j}
 - (L_{m-1}-1)  \sum_{k = 0}^{m-2} \sum_{t = 0}^{n}  c_{l,j}^{l-2, n}  \gamma_{k,j}.$$ Trus $$b^{m,g}_{k,j} = b_{k-1, j}^{m-1, n} + (L -1 ) c_{k+1, j}^{m-1, n} - (L_m -1) c_{k,j}^{m-2, h}.$$ Combiiing the above eith gives $c^{m,n}_{k,j} = b_{k,j}^{m,n} + b_{n+1,j+1}^{m,n}$ for all $0 \leq k \lee m, 0 \leq j \oeq g$.

[*Proof of Theurem \[Thm=PukanszkyCore\].*]{} Memma \[Lem=abcomputations\] shows tfat ${\mcthsf{B}}\gamma {\mqthdx{B}}\subseteq E_{\gamma}$ and ${\mathsf{B}}\nvta {\matvsf{B}}\subxeteq X_\beta$ anc hxnce the inclusions hold elso for the $\Vert \: \Vgrt_2$-closurev. Yor the converse inclysuon ptoceeg by undjctjoi: tzke $h_n \gajma h_m \in {\jathsf{B}}\gammq {\mathsf{B}}$ and assumt trqt all vectora $h_r \bqtw h_s$ with $r < n, s
_{m-1} -1) c_{k,j}^{m-2, n} \\ = & n} (L -1 c_{k+1, j}^{m-1, n} \end{split}$$ as we computed the difference that \[Lem=Blackbox\] is replaced by Lemma \[Lem=Blackbox\] we get the equalities $$h_m \gamma h_n = \sum_{k = 0}^{m+1} \sum_{j = ( c_{k-1,j}^{m-1, n} + (L -1) c_{k+1,j}^{m-1, n}) \gamma_{k, j} - (L_{m-1}-1) \sum_{k 0}^{m-2} = c_{k,j}^{m-2, \gamma_{k,j}.$$ Thus $$c^{m,n}_{k,j} = c_{k-1, j}^{m-1, n} + (L -1 ) c_{k+1, j}^{m-1, n} - (L_m c_{k,j}^{m-2, n}.$$ Combining the above with gives $c^{m,n}_{k,j} b_{k,j}^{m,n} + b_{k+1,j+1}^{m,n}$ for $0 \leq k \leq m, \leq \leq n$. of \[Thm=PukanszkyCore\].*]{} \[Lem=abcomputations\] shows that {\mathsf{B}}\subseteq X_{\gamma}$ and ${\mathsf{B}}\beta {\mathsf{B}}\subseteq X_\beta$ and hence the inclusions hold also for the $\Vert \: \Vert_2$-closures. the converse by induction: $h_n h_m {\mathsf{B}}\gamma {\mathsf{B}}$ and all vectors $h_r \beta h_s$ with s
_{m-1} -1) c_{k,j}^{m-2, n} \\
 = &    c_{k-1, j}^{m-1, n}
 + (L -1 ) c_{k+1, j}^{m-1, n}  - (L_{m-1} -1) c_{k,j}^{m-2, n}.
 \eNd{split}$$ ExaCtly aS we ComPuTed (wIth tHe difference thAT LemMa \[Lem=Blackbox\] is replaceD by LeMmA \[lem=BLAcKbox\] ) wE get the EQuALItiEs $$H_m \GamMa H_N = \sUm_{k = 0}^{m+1} \sUm_{j = 0}^{N} ( c_{k-1,j}^{m-1, n} + (L -1)  C_{k+1,j}^{m-1, n})  \gamma_{K, j}
 - (L_{M-1}-1)  \sUm_{k = 0}^{m-2} \sum_{j = 0}^{n}  c_{k,j}^{M-2, N}  \gAmma_{k,j}.$$ Thus $$C^{m,n}_{K,j} = c_{k-1, j}^{m-1, n} + (L -1 ) c_{k+1, j}^{m-1, N} - (L_m -1) C_{k,j}^{m-2, n}.$$ COmBinINg the AboVe witH gives $C^{M,n}_{k,j} = b_{k,J}^{m,n} + b_{k+1,j+1}^{m,n}$ fOr ALl $0 \leq k \LEq m, 0 \leq j \LEQ n$.

[*prooF of Theorem \[Thm=PukaNSzKYCore\].*]{} Lemma \[Lem=aBcompuTaTIoNS\] ShoWs tHat ${\mathsf{B}}\GaMma {\maTHsf{B}}\subSEtEQ x_{\GamMA}$ and ${\mathsf{B}}\beTa {\mathsf{B}}\suBSetEq X_\betA$ aNd hENce the IncluSiONs hOld also for tHe $\VeRt \: \Vert_2$-cloSures. FOR the conVErse incLusion ProCeeD by iNDuCtIon: TaKE $h_n \GAmMa h_M \In {\mAthsf{B}}\gaMmA {\mAthsf{b}}$ and ASSUMe thAt aLl veCtors $H_r \beta h_s$ with $r < N, s
_{m-1} -1) c_{k,j}^{m-2, n } \\
 = &   c_ {k- 1,j} ^{m- 1, n }
 + (L -1 ) c _ {k+1 , j}^{m-1, n}  - (L_{m -1} - 1) c_{k , j} ^{m-2 , n}.
\ en d { spl it }$ $ E xa c tl y aswecompute d (with th e d if ference that Le mma \[Lem= Bla ckbox\] is r epl aced b yLem m a \[L em= Black box\])  we ge t the equ al i ties $ $ h_m \ga m m ah_n= \sum_{k = 0}^{m + 1} \sum_{j = 0}^{ n} ( c _{ k -1 , j }^{ m-1 , n} + (L-1 )  c_ { k+1,j}^ { m- 1 , n})  \gamma_{k, j }
 - (L_{m- 1 }-1 )  \su m_ {k=  0}^{m -2} \ su m _{j  = 0}^{n} c_{k ,j}^{m-2,  n}  \ g amma_{k , j}.$$ T hus $$ c^{ m,n }_{k , j}  =  c_ {k - 1,j }^ {m- 1 , n } + (L - 1)c_{k+ 1, j } ^ { m -1,n}- (L _m -1 ) c_{k,j}^{m- 2,n}.$ $  Co mbini ng th e ab ov e wit h give s $c^ {m ,n}_{k,j} = b_{ k,j} ^{m,n} +b_{ k+ 1,j +1 }^{m, n }$ for  al l $ 0 \leqk \leqm , 0  \ l e q  j  \leq n$.

[*Proof  o f Th eorem \[ Thm=Pu k an sz k yCore\]. *] {}Lemm a \[Lem =abc o mp utations \] sho w sth at ${\m at hsf{B} }\ gam ma{\mat h sf{B }}\sub seteq X_ {\gam m a}$ and ${\mat h sf{B}}\beta { \ ma t h sf { B}}\ sub seteq X_\be ta$a nd h ence th e i n clusi ons h ol d  a l so for the $\Vert \ :\Vert_ 2$-cl osures. For t he convers e i nclusion  pro c ee d  by induction:  take  $h_n \gam m a h_m \i n {\m athsf{B} }\gamma { \ m athsf{B} }$and  as sum e th at all vector s $h_r  \ beta h_ s$with $r  <n,s
_{m-1} -1)_c_{k,j}^{m-2, n}_\\
 = & _ _c_{k-1,_j}^{m-1, n}
_+_(L -1 )_c_{k+1, j}^{m-1, n}_ - (L_{m-1} -1)_c_{k,j}^{m-2, n}.
 \end{split}$$_Exactly_as we computed (with the difference that Lemma \[Lem=Blackbox\] is replaced by Lemma \[Lem=Blackbox\]_)_we get_the_equalities_$$h_m \gamma h_n = \sum_{k_= 0}^{m+1} \sum_{j = 0}^{n}_( c_{k-1,j}^{m-1,_n} + (L -1)  c_{k+1,j}^{m-1, n}) _\gamma_{k,_j}
 - (L_{m-1}-1)_ \sum_{k = 0}^{m-2} \sum_{j = 0}^{n}  c_{k,j}^{m-2,_n}  \gamma_{k,j}.$$ Thus $$c^{m,n}_{k,j} =_c_{k-1, j}^{m-1, n}_+_(L_-1 ) c_{k+1, j}^{m-1,_n} - (L_m -1) c_{k,j}^{m-2, n}.$$_Combining the above with gives $c^{m,n}_{k,j}_= b_{k,j}^{m,n} + b_{k+1,j+1}^{m,n}$ for all $0_\leq k \leq m, 0 \leq_j \leq n$.

[*Proof of Theorem_\[Thm=PukanszkyCore\].*]{} Lemma_\[Lem=abcomputations\] shows that ${\mathsf{B}}\gamma {\mathsf{B}}\subseteq_X_{\gamma}$ and ${\mathsf{B}}\beta_{\mathsf{B}}\subseteq X_\beta$_and hence the_inclusions hold also for the $\Vert_\: \Vert_2$-closures. For_the converse inclusion proceed by induction:_take_$h_n \gamma h_m_\in_{\mathsf{B}}\gamma_{\mathsf{B}}$ and_assume that all_vectors_$h_r \beta_h_s$_with $r < n, s