 \biggl[\bigcup_{j=1}^{2^{l-1}}\Bigl(z_j+(e_l(T)+\varepsilon) B_Y\Bigr)\biggr]\\
&=\bigcup_{i,j}\Bigl(y_i+z_j+(e_k(S)+\varepsilon) B_Y+(e_l(T)+\varepsilon) B_Y\Bigr)\\
&\subset\bigcup_{i,j}\Bigl(y_i+z_j+[(e_k(S)+\varepsilon)^p+(e_l(T)+\varepsilon)^p]^{1/p} B_Y\Bigr)\end{aligned}$$ and taking the infimum over $\varepsilon>0$ gives the result.

The proof of submultiplicativity follows in a similar way. Indeed, if $k,l$ are positive integers and $\varepsilon>0$, we find $y_1,\dots,y_{2^{l-1}}\in Y$ and $z_1,\dots,z_{2^{k-1}}\in Z$ with $$T(B_X)\subset \bigcup_{i=1}^{2^{l-1}}\Bigl(y_i+(e_l(T)+\varepsilon) B_Y\Bigr)\quad\text{and}\quad R(B_Y)\subset \bigcup_{j=1}^{2^{k-1}}\Bigl(z_j+(e_k(R)+\varepsilon) B_Z\Bigr).$$ The proof then follows from $$\begin{aligned}
(R\circ T)(B_X)&=R(T(B_X))\subset R\biggl(\,\bigcup_{i=1}^{2^{l-1}}\Bigl(y_i+(e_l(T)+\varepsilon) B_Y\Bigr)\biggr)\\
&=\bigcup_{i=1}^{2^{l-1}}\Bigl(Ry_i+(e_l(T)+\varepsilon) R(B_Y)\Bigr)\\
&\subset \bigcup_{i,j}\Bigl(Ry_i+(e_l(T)+\varepsilon)z_j+(e_l(T)+\varepsilon)(e_k(R)+\varepsilon) B_Z\Bigr).\qedhere\end{aligned}$$

We will also need few basic facts about the Gamma function, which is defined by $\Gamma(t)=\int_0^\infty x^{t-1}e
\biggl[\bigcup_{j=1}^{2^{l-1}}\Bigl(z_j+(e_l(T)+\varepsilon) B_Y\Bigr)\biggr]\\ 
 & = \bigcup_{i, j}\Bigl(y_i+z_j+(e_k(S)+\varepsilon) B_Y+(e_l(T)+\varepsilon) B_Y\Bigr)\\ 
 & \subset\bigcup_{i, j}\Bigl(y_i+z_j+[(e_k(S)+\varepsilon)^p+(e_l(T)+\varepsilon)^p]^{1 / p } B_Y\Bigr)\end{aligned}$$ and taking the infimum over $ \varepsilon>0 $ gives the result. 

 The proof of submultiplicativity follow in a exchangeable way. Indeed, if $ k, l$ are positive integers and $ \varepsilon>0 $, we determine $ y_1,\dots, y_{2^{l-1}}\in Y$ and $ z_1,\dots, z_{2^{k-1}}\in Z$ with $ $ T(B_X)\subset \bigcup_{i=1}^{2^{l-1}}\Bigl(y_i+(e_l(T)+\varepsilon) B_Y\Bigr)\quad\text{and}\quad R(B_Y)\subset \bigcup_{j=1}^{2^{k-1}}\Bigl(z_j+(e_k(R)+\varepsilon) B_Z\Bigr).$$ The proof then follows from $ $ \begin{aligned } 
 (R\circ T)(B_X)&=R(T(B_X))\subset R\biggl(\,\bigcup_{i=1}^{2^{l-1}}\Bigl(y_i+(e_l(T)+\varepsilon) B_Y\Bigr)\biggr)\\ 
 & = \bigcup_{i=1}^{2^{l-1}}\Bigl(Ry_i+(e_l(T)+\varepsilon) R(B_Y)\Bigr)\\ 
 & \subset \bigcup_{i, j}\Bigl(Ry_i+(e_l(T)+\varepsilon)z_j+(e_l(T)+\varepsilon)(e_k(R)+\varepsilon) B_Z\Bigr).\qedhere\end{aligned}$$ 

 We will besides need few basic facts about the Gamma function, which is specify by $ \Gamma(t)=\int_0^\infty x^{t-1}e
 \bihgl[\bigcup_{j=1}^{2^{l-1}}\Bigl(z_j+(e_l(T)+\vareksilon) B_Y\Bigr)\biggt]\\
&=\bugcup_{i,o}\Bigl(y_i+a_j+(e_k(S)+\vardpsilon) B_Y+(e_l(T)+\varepsilon) B_Y\Bijr)\\
&\suvset\bugcup_{i,j}\Bigl(y_i+z_j+[(e_k(S)+\vareosilon)^p+(e_l(N)+\varepsilin)^p]^{1/p} V_Y\Bigr)\end{aligned}$$ akb takjkg thz mnfimum over $\vatepsilon>0$ givas the result.

Tve pxoof of submultiplicativity follows yn a sikipar way. Indeed, if $l,j$ ars positive integers and $\varepsilon>0$, we finv $y_1,\dots,y_{2^{l-1}}\in Y$ amd $z_1,\dots,z_{2^{k-1}}\in Z$ with $$T(B_X)\subdet \higcup_{i=1}^{2^{l-1}}\Bigl(y_i+(e_l(T)+\vwrepsilon) B_I\Gigw)\wuad\text{and}\qjad R(B_Y)\subset \bigcup_{j=1}^{2^{k-1}}\Gigl(z_j+(e_k(R)+\varepsilon) B_Z\Bigr).$$ The oroof then folliww fgmm $$\begin{alijned}
(R\cprc T)(B_X)&=R(T(B_X))\sunxet R\bhggl(\,\bigvup_{i=1}^{2^{l-1}}\Bigl(y_i+(e_l(T)+\yarepvilin) B_Y\Bigr)\biggr)\\
&=\bigcup_{i=1}^{2^{n-1}}\Bigl(Ry_i+(e_l(T)+\varepsijon) R(B_Y)\Bicr)\\
&\aubset \bigcup_{i,j}\Bitl(Ey_i+(e_l(J)+\vare[silub)z_j+(d_l(T)+\bacepailon)(e_n(R)+\verepsilon) B_A\Bigr).\qedherw\end{aligned}$$

We will slfi need few baaic fastf about the Gamma function, which is defpned by $\Gamma(t)=\int_0^\infty x^{t-1}e
\biggl[\bigcup_{j=1}^{2^{l-1}}\Bigl(z_j+(e_l(T)+\varepsilon) B_Y\Bigr)\biggr]\\ &=\bigcup_{i,j}\Bigl(y_i+z_j+(e_k(S)+\varepsilon) B_Y+(e_l(T)+\varepsilon) B_Y\Bigr)\\ &\subset\bigcup_{i,j}\Bigl(y_i+z_j+[(e_k(S)+\varepsilon)^p+(e_l(T)+\varepsilon)^p]^{1/p} B_Y\Bigr)\end{aligned}$$ the over $\varepsilon>0$ the result. The a way. Indeed, if are positive integers $\varepsilon>0$, we find $y_1,\dots,y_{2^{l-1}}\in Y$ and Z$ with $$T(B_X)\subset \bigcup_{i=1}^{2^{l-1}}\Bigl(y_i+(e_l(T)+\varepsilon) B_Y\Bigr)\quad\text{and}\quad R(B_Y)\subset \bigcup_{j=1}^{2^{k-1}}\Bigl(z_j+(e_k(R)+\varepsilon) B_Z\Bigr).$$ The proof then follows from (R\circ T)(B_X)&=R(T(B_X))\subset R\biggl(\,\bigcup_{i=1}^{2^{l-1}}\Bigl(y_i+(e_l(T)+\varepsilon) B_Y\Bigr)\biggr)\\ &=\bigcup_{i=1}^{2^{l-1}}\Bigl(Ry_i+(e_l(T)+\varepsilon) R(B_Y)\Bigr)\\ &\subset \bigcup_{i,j}\Bigl(Ry_i+(e_l(T)+\varepsilon)z_j+(e_l(T)+\varepsilon)(e_k(R)+\varepsilon) B_Z\Bigr).\qedhere\end{aligned}$$ We will also need basic about Gamma which is defined by $\Gamma(t)=\int_0^\infty x^{t-1}e
 \biggl[\bigcup_{j=1}^{2^{l-1}}\Bigl(z_j+(e_l(T)+\varEpsilon) B_Y\BIgr)\biGgr]\\
&=\BigCuP_{i,j}\BIgl(y_I+z_j+(e_k(S)+\varepsilON) B_Y+(e_L(T)+\varepsilon) B_Y\Bigr)\\
&\subsEt\bigCuP_{I,j}\BiGL(y_I+z_j+[(e_k(s)+\varepsILoN)^P+(E_l(T)+\VaRePsiLoN)^P]^{1/p} b_Y\BigR)\enD{aligneD}$$ and taking The InFimum over $\varEPsIlon>0$ gives tHe rEsult.

The prooF of SubmulTiPliCAtiviTy fOllowS in a siMIlar waY. Indeed, if $K,l$ ARe posiTIve inteGERs And $\vArepsilon>0$, we find $y_1,\dOTs,Y_{2^{L-1}}\in Y$ and $z_1,\dots,z_{2^{k-1}}\In Z$ witH $$T(b_x)\sUBSet \BigCup_{i=1}^{2^{l-1}}\Bigl(y_I+(e_L(T)+\varEPsilon) B_y\biGR)\QUad\TExt{and}\quad R(B_Y)\Subset \bigcuP_{J=1}^{2^{k-1}}\BIgl(z_j+(e_K(R)+\VarEPsilon) b_Z\BigR).$$ THE prOof then follOws fRom $$\begin{aLigned}
(r\Circ T)(B_X)&=r(t(B_X))\subsEt R\bigGl(\,\bIgcUp_{i=1}^{2^{l-1}}\bIgL(y_I+(e_l(t)+\vARepSIlOn) B_y\bigR)\biggr)\\
&=\biGcUp_{I=1}^{2^{l-1}}\BigL(Ry_i+(E_L(t)+\VArepSilOn) R(B_y)\Bigr)\\
&\Subset \bigcup_{i,J}\BiGl(Ry_I+(E_l(T)+\VarepSilon)Z_j+(e_l(t)+\vArepsIlon)(e_k(r)+\varePsIlon) B_Z\Bigr).\qedheRe\enD{aligned}$$

WE wiLl AlsO nEed feW Basic fActS abOut the GAmma funCTioN, wHICH iS defined by $\Gamma(t)=\inT_0^\iNFTy X^{t-1}e
 \biggl[\bigcup_{j=1}^{2^{ l-1}}\Bigl (z_j+ (e_ l(T )+ \var epsi lon) B_Y\Bigr) \ bigg r]\\
&=\bigcup_{i,j}\B igl(y _i + z_j+ ( e_ k(S)+ \vareps i lo n )  B_ Y+ (e _l( T) + \v areps ilo n) B_Y\ Bigr)\\
&\ sub se t\bigcup_{i, j }\ Bigl(y_i+z _j+ [(e_k(S)+\va rep silon) ^p +(e _ l(T)+ \va repsi lon)^p ] ^{1/p}  B_Y\Bigr )\ e nd{ali g ned}$$a n dtaki ng the infimum ov e r$ \varepsilon>0$  gives  t h er e sul t.
The proof  o f sub m ultipli c at i v i tyf ollows in a s imilar way. Ind eed, i f$k, l $ areposit iv e  in tegers and$\va repsilon> 0$, we find $y _ 1,\dots ,y_{2^ {l- 1}} \inY $an d $ z_ 1 ,\d o ts ,z_ { 2^{ k-1}}\in  Z $with$$T( B _ X ) \sub set  \bi gcup_ {i=1}^{2^{l-1 }}\ Bigl ( y_i +(e_l (T)+\ vare ps ilon)  B_Y\B igr)\ qu ad\text{and}\qu ad R (B_Y)\sub set  \ big cu p_{j= 1 }^{2^{ k-1 }}\ Bigl(z_ j+(e_k( R )+\ va r e p si lon) B_Z\Bigr).$$Th e pr oof then  follo w sfr o m $$\beg in {al igne d } 
(R\c ircT )( B_X)&=R( T(B_X) ) \s ub set R\b ig gl(\,\ bi gcu p_{ i=1}^ { 2^{l -1}}\B igl(y_i+ (e_l( T )+\varepsilon) B_Y\Bigr)\big g r) \ \ 
& = \big cup _{i=1}^{2^{ l-1} } \Big l(Ry _ i+ (e_ l (T)+\ varep si l on )  R(B_Y)\Bigr)\\
&\s ub set \b igcup _{i,j}\Bigl(R y_i+(e_l(T ) + \ varepsil on)z _ j+ ( e_l(T)+\vareps ilon) (e_k(R)+\v a repsilon ) B_Z \Bigr).\ qedhere\e n d {aligned }$$ 

W e w ill a ls o need few ba s i c fa ct s about  th e Gamma  fu nct ion , w hi ch is def ined by$\ Ga mm a( t)= \int_ 0 ^\inftyx^ {t- 1} e
 \biggl[\bigcup_{j=1}^{2^{l-1}}\Bigl(z_j+(e_l(T)+\varepsilon)_B_Y\Bigr)\biggr]\\
&=\bigcup_{i,j}\Bigl(y_i+z_j+(e_k(S)+\varepsilon) B_Y+(e_l(T)+\varepsilon)_B_Y\Bigr)\\
&\subset\bigcup_{i,j}\Bigl(y_i+z_j+[(e_k(S)+\varepsilon)^p+(e_l(T)+\varepsilon)^p]^{1/p} B_Y\Bigr)\end{aligned}$$ and taking_the infimum_over_$\varepsilon>0$ gives_the_result.

The proof of_submultiplicativity follows in_a similar way. Indeed,_if $k,l$ are_positive_integers and $\varepsilon>0$, we find $y_1,\dots,y_{2^{l-1}}\in Y$ and $z_1,\dots,z_{2^{k-1}}\in Z$ with $$T(B_X)\subset \bigcup_{i=1}^{2^{l-1}}\Bigl(y_i+(e_l(T)+\varepsilon) B_Y\Bigr)\quad\text{and}\quad_R(B_Y)\subset_\bigcup_{j=1}^{2^{k-1}}\Bigl(z_j+(e_k(R)+\varepsilon) B_Z\Bigr).$$_The_proof_then follows from $$\begin{aligned}
(R\circ T)(B_X)&=R(T(B_X))\subset_R\biggl(\,\bigcup_{i=1}^{2^{l-1}}\Bigl(y_i+(e_l(T)+\varepsilon) B_Y\Bigr)\biggr)\\
&=\bigcup_{i=1}^{2^{l-1}}\Bigl(Ry_i+(e_l(T)+\varepsilon) R(B_Y)\Bigr)\\
&\subset \bigcup_{i,j}\Bigl(Ry_i+(e_l(T)+\varepsilon)z_j+(e_l(T)+\varepsilon)(e_k(R)+\varepsilon) B_Z\Bigr).\qedhere\end{aligned}$$

We_will also_need few basic facts about the Gamma function,_which_is defined by_$\Gamma(t)=\int_0^\infty x^{t-1}e