 \{ |\tau - \lambda|{\leqslant}1, \,\,\,  |\xi + \lambda|{\leqslant}1\}, \qquad C = \{ |\tau | {\leqslant}1, \,\,\,\,   |\xi|{\leqslant}1\}, \qquad A = \{ |\tau + \lambda|{\leqslant}2, \,\,\,|\xi - \lambda|{\leqslant}2 \}.$$ Then (\[prop - counter examples - set cond 1\] - \[prop - counter examples - set cond 3\]) hold with $d_1=d_2=d_3 =0$ and $\delta =s_1 + s_2$ and so we must have (\[prop - counter examples - s cond 1\]).\
**$\bullet$ Necessity of (\[prop - counter examples - s cond 2\]).** By symmetry we may assume $k=1$. Suppose $b_{min} = b_1$ and choose $$B= \{ |\tau |{\leqslant}1, \,\,\,  |\xi|{\leqslant}1\}, \qquad C = \{ |\tau - \lambda | {\leqslant}1, \,\,\,\,   |\xi - \lambda|{\leqslant}1\}, \qquad A = \{ |\tau + \lambda|{\leqslant}2, \,\,\,|\xi+\lambda|{\leqslant}2 \}.$$ Then (\[prop - counter examples - set cond 1\] - \[prop - counter examples - set cond 3\]) hold with $d_1=d_2=d_3 =0$ and $\delta =s_1 + s_3 + b_1$ and so we must have $ s_1 + s_3 + b_1 {\geqslant}0.$

On the other hand, if $b_{min} = b_2$ we let $$B= \{ |\tau + 2\lambda|{\leqslant}1, \,\,\,  |\xi |{\leqslant}1\}, \qquad C = \{ |\tau -  \lambda | {\leqslant}1, \,\,\,\,   |\xi - \lambda|{\leqslant}1\}, \qquad A = \{ |\tau -\lambda |{\leqslant}2, \,\,\,|\xi + \lambda|{\leqslant}2 \}.$$ Then (\[prop - counter examples - set cond 1\] - \[prop - counter examples - set cond 3\]) hold with $d_1=d_2=d_3 =0$ and $\delta =s_1 + s_3 + b_2$ and so we obtain the condition $ s_1
\ { |\tau - \lambda|{\leqslant}1, \,\,\,   |\xi + \lambda|{\leqslant}1\ }, \qquad C = \ { |\tau | { \leqslant}1, \,\,\,\,    |\xi|{\leqslant}1\ }, \qquad A = \ { |\tau + \lambda|{\leqslant}2, \,\,\,|\xi - \lambda|{\leqslant}2 \}.$$ Then (\[prop - counter examples - set cond 1\ ] - \[prop - counter exemplar - rig cond 3\ ]) hold with $ d_1 = d_2 = d_3 = 0 $ and $ \delta = s_1 + s_2 $ and so we must have (\[prop - rejoinder examples - s cond 1\]).\ 
 * * $ \bullet$ Necessity of (\[prop - counter example - s cond 2\ ]). * * By isotropy we may assume $ k=1$. Suppose $ b_{min } = b_1 $ and choose $ $ B= \ { |\tau |{\leqslant}1, \,\,\,   |\xi|{\leqslant}1\ }, \qquad C = \ { |\tau - \lambda | { \leqslant}1, \,\,\,\,    |\xi - \lambda|{\leqslant}1\ }, \qquad A = \ { |\tau + \lambda|{\leqslant}2, \,\,\,|\xi+\lambda|{\leqslant}2 \}.$$ Then (\[prop - counter examples - set cond 1\ ] - \[prop - counter example - set cond 3\ ]) hold with $ d_1 = d_2 = d_3 = 0 $ and $ \delta = s_1 + s_3 + b_1 $ and then we must accept $ s_1 + s_3 + b_1 { \geqslant}0.$ 

 On the other hand, if $ b_{min } = b_2 $ we let $ $ B= \ { |\tau + 2\lambda|{\leqslant}1, \,\,\,   |\xi |{\leqslant}1\ }, \qquad C = \ { |\tau -   \lambda | { \leqslant}1, \,\,\,\,    |\xi - \lambda|{\leqslant}1\ }, \qquad A = \ { |\tau -\lambda |{\leqslant}2, \,\,\,|\xi + \lambda|{\leqslant}2 \}.$$ Then (\[prop - counter examples - sic cond 1\ ] - \[prop - counter examples - set cond 3\ ]) agree with $ d_1 = d_2 = d_3 = 0 $ and $ \delta = s_1 + s_3 + b_2 $ and so we obtain the condition $ s_1
 \{ |\twu - \lambda|{\leqslant}1, \,\,\,  |\xi + \lambda|{\leqslant}1\}, \qquad R = \{ |\tau | {\leqslavt}1, \,\,\,\,   |\xi|{\leqslant}1\}, \qquad A = \{ |\teu + \oambdq|{\leqslant}2, \,\,\,|\xi - \lambda|{\ledslant}2 \}.$$ Tjen (\[prop - connter examples - set cond 1\] - \[prol - cobnver examples - sgt cond 3\]) holg with $d_1=d_2=d_3 =0$ ang $\aepta =s_1 + s_2$ and so we must have (\[prop - sounter edamples - s conq 1\]).\
**$\bukjet$ Hvctssity of (\[prop - counter examples - s cond 2\]).** By symmetry we may assume $k=1$. Suppose $b_{lin} = b_1$ and choose $$B= \{ |\twu |{\leqslant}1, \,\,\,  |\xy|{\oeqslant}1\}, \qquxd C = \{ |\tau - \lambda | {\lesslant}1, \,\,\,\,   |\xi - \lambda|{\leqslant}1\}, \qqjad A = \{ |\tau + \lanbea|{\lfxslant}2, \,\,\,|\xi+\lanbda|{\lvqslant}2 \}.$$ Then (\[prop - cmunter rxamples - set gond 1\] - \[peop - counter examples - set cond 3\]) hold wyth $d_1=d_2=d_3 =0$ dnb $\delta =s_1 + s_3 + b_1$ and si qe muvt hdve $ w_1 + r_3 + g_1 {\jeqalant}0.$

Oj tie other hahd, if $b_{min} = b_2$ we let $$B= \{ |\tau + 2\lsmfea|{\leqslant}1, \,\,\,  |\si |{\leqflwnt}1\}, \qquad C = \{ |\tau -  \lambda | {\leqslant}1, \,\,\,\,   |\xi - \lambda|{\leqslant}1\}, \qquad Q = \{ |\tau -\lambda |{\leqslajt}2, \,\,\,|\xi + \laibda|{\leqslant}2 \}.$$ Then (\[prop - counter examples - set cotd 1\] - \['rup - cjjbtfr examples - set cond 3\]) hold with $d_1=d_2=d_3 =0$ and $\delez =x_1 + s_3 + b_2$ and so wc obtain the condiyiln $ s_1
\{ |\tau - \lambda|{\leqslant}1, \,\,\, |\xi + C \{ |\tau {\leqslant}1, \,\,\,\, |\xi|{\leqslant}1\}, + \,\,\,|\xi - \lambda|{\leqslant}2 Then (\[prop - examples - set cond 1\] - - counter examples - set cond 3\]) hold with $d_1=d_2=d_3 =0$ and $\delta + s_2$ and so we must have (\[prop - counter examples - s 1\]).\ Necessity (\[prop counter examples - s cond 2\]).** By symmetry we may assume $k=1$. Suppose $b_{min} = b_1$ choose $$B= \{ |\tau |{\leqslant}1, \,\,\, |\xi|{\leqslant}1\}, \qquad = \{ |\tau - | {\leqslant}1, \,\,\,\, |\xi - \qquad = \{ + \,\,\,|\xi+\lambda|{\leqslant}2 Then (\[prop - examples - set cond 1\] - \[prop - counter examples - set cond 3\]) hold with $d_1=d_2=d_3 and $\delta s_3 + and we have $ s_1 + b_1 {\geqslant}0.$ On the other = b_2$ we let $$B= \{ |\tau + \,\,\, |\xi \qquad C = \{ |\tau - | {\leqslant}1, \,\,\,\, |\xi - \lambda|{\leqslant}1\}, \qquad A \{ |\tau -\lambda |{\leqslant}2, \,\,\,|\xi + \lambda|{\leqslant}2 \}.$$ Then (\[prop - counter examples - set - \[prop - counter - set cond hold $d_1=d_2=d_3 and =s_1 + + b_2$ and so we obtain the condition $ s_1
 \{ |\tau - \lambda|{\leqslant}1, \,\,\,  |\xi + \lambda|{\Leqslant}1\}, \qqUad C = \{ |\tAu | {\lEqsLaNt}1, \,\,\,\,   |\xi|{\LeqsLant}1\}, \qquad A = \{ |\tau + \lAMbda|{\Leqslant}2, \,\,\,|\xi - \lambda|{\leqslaNt}2 \}.$$ TheN (\[pROp - coUNtEr exaMples - seT CoND 1\] - \[ProP - cOuNteR eXAmPles - sEt cOnd 3\]) hold With $d_1=d_2=d_3 =0$ and $\DelTa =S_1 + s_2$ and so we musT HaVe (\[prop - counTer Examples - s conD 1\]).\
**$\buLlet$ NeCeSsiTY of (\[prOp - cOunteR exampLEs - s conD 2\]).** By symmetRy WE may asSUme $k=1$. SupPOSe $B_{min} = B_1$ and choose $$B= \{ |\tau |{\leqSLaNT}1, \,\,\,  |\xi|{\leqslant}1\}, \qquAd C = \{ |\tau - \LaMBdA | {\LEqsLanT}1, \,\,\,\,   |\xi - \lambda|{\lEqSlant}1\}, \QQuad A = \{ |\taU + \LaMBDA|{\leQSlant}2, \,\,\,|\xi+\lambda|{\Leqslant}2 \}.$$ TheN (\[ProP - countEr ExaMPles - seT cond 1\] - \[PrOP - coUnter examplEs - seT cond 3\]) hold With $d_1=d_2=D_3 =0$ And $\deltA =S_1 + s_3 + b_1$ and sO we musT haVe $ s_1 + S_3 + b_1 {\geQSlAnT}0.$

On ThE OthER hAnd, IF $b_{mIn} = b_2$ we let $$b= \{ |\tAu + 2\LambdA|{\leqSLANT}1, \,\,\,  |\xi |{\lEqsLant}1\}, \Qquad c = \{ |\tau -  \lambda | {\leqSlaNt}1, \,\,\,\,   |\xi - \LAmbDa|{\leqSlant}1\}, \QquaD A = \{ |\Tau -\laMbda |{\leQslanT}2, \,\,\,|\xI + \lambda|{\leqslant}2 \}.$$ then (\[Prop - countEr eXaMplEs - Set coND 1\] - \[prop - cOunTer ExampleS - set conD 3\]) HolD wITH $D_1=d_2=D_3 =0$ and $\delta =s_1 + s_3 + b_2$ and so wE oBTAiN the condItion $ s_1
 \{ |\tau - \lambda|{\leqs lant}1, \, \,\, |\ xi+\lam bda| {\leqslant}1\} ,  \qq uad C = \{ |\tau | {\l eqsla nt } 1, \ , \, \,\,  |\xi| { \l e q sla nt }1 \},  \ q qu ad A= \ { |\tau  + \lambda |{\ le qslant}2, \, \ ,\ ,|\xi - \l amb da|{\leqslan t}2  \}.$$  T hen (\[pr op- cou nter e x amples  - set co nd 1\] -\ [prop - c ou nter  examples - set c o nd 3\]) hold with  $d_1= d_ 2 =d _ 3  =0 $ a nd $\delta  = s_1 + s_2$ an d  s o w e m u st have (\[pr op - counte r  ex amples  -  sc ond 1\ ]).\** $ \bu llet$ Neces sity  of (\[pr op - c o unter e x amples- s co nd2\] ).** By  s ymm et r y w e  m aya ssu me $k=1$ .Su ppose  $b_ { m i n } =b_1 $ an d cho ose $$B= \{ | \ta u |{ \ leq slant }1, \ ,\,\ , |\xi |{\leq slant }1 \}, \qquad C =\{ | \tau - \l amb da  |{\ leqsl a nt}1,\,\ ,\, \,   |\ xi - \l a mbd a| { \ l eq slant}1\}, \qquadA= \{  |\tau +  \lamb d a| {\ l eqslant} 2,  \, \,\, | \ xi+\l ambd a |{ \leqslan t}2 \} . $$  T hen (\[ pr op - c ou nte r e xampl e s -set co nd 1\] -  \[pr o p - counter ex a mples - set c o nd 3 \] )  hol d w ith $d_1=d_ 2=d_ 3  =0$  and $\ del t a =s_ 1 + s _3 +b _1$ and so we mustha ve $ s _1 +s_3 + b_1 {\g eqslant}0. $ On the o ther ha n d, if $b_{min}  = b_ 2$ we let$ $B= \{ | \tau+ 2\lamb da|{\leqs l a nt}1, \, \,\ , |\x i | { \ le qslant}1\}, \ q q uadC= \{ |\ tau  -  \la mbd a |  {\ leq sl ant}1, \, \,\,\,  | \x i-\la mbda| { \leqslan t} 1\} ,\qq uad A = \{ | \tau-\la mb da |{\ leqslan t }2 , \,\, \, |\ xi +  \l am bda|{ \leq s lan t}2 \}. $$ Then ( \[p r op -  c ou nter ex amples - setco nd 1\] - \ [p rop  - cou n t er examp les - set cond 3\]) hol d  with $ d_1 =d_2= d_3=0$ and $ \de lta =s _1+  s_3 +  b_2$and s oweo b taint h econ di tion $ s_1 
 \{_|\tau -_\lambda|{\leqslant}1, \,\,\,  |\xi_+ \lambda|{\leqslant}1\},_\qquad_C =_\{_|\tau | {\leqslant}1,_\,\,\,\,  _|\xi|{\leqslant}1\}, \qquad A =_\{ |\tau +_\lambda|{\leqslant}2,_\,\,\,|\xi - \lambda|{\leqslant}2 \}.$$ Then (\[prop - counter examples - set cond 1\] -_\[prop_- counter_examples_-_set cond 3\]) hold with_$d_1=d_2=d_3 =0$ and $\delta =s_1_+ s_2$_and so we must have (\[prop - counter_examples_- s cond_1\]).\
**$\bullet$ Necessity of (\[prop - counter examples - s_cond 2\]).** By symmetry we may_assume $k=1$. Suppose_$b_{min}_=_b_1$ and choose $$B=_\{ |\tau |{\leqslant}1, \,\,\,  |\xi|{\leqslant}1\},_\qquad C = \{ |\tau -_\lambda | {\leqslant}1, \,\,\,\,   |\xi_- \lambda|{\leqslant}1\}, \qquad A = \{_|\tau + \lambda|{\leqslant}2, \,\,\,|\xi+\lambda|{\leqslant}2 \}.$$_Then (\[prop_- counter examples - set_cond 1\] -_\[prop -_counter examples -_set cond 3\]) hold with $d_1=d_2=d_3_=0$ and $\delta_=s_1 + s_3 + b_1$ and_so_we must have_$_s_1_+ s_3_+ b_1 {\geqslant}0.$

On_the_other hand,_if_$b_{min} = b_2$ we let $$B=_\{_|\tau + 2\lambda|{\leqslant}1, \,\,\,  |\xi |{\leqslant}1\},_\qquad C = \{_|\tau_-  \lambda |_{\leqslant}1, \,\,\,\,   |\xi_- \lambda|{\leqslant}1\}, \qquad A = \{_|\tau -\lambda_|{\leqslant}2, \,\,\,|\xi_+ \lambda|{\leqslant}2 \}.$$ Then (\[prop - counter examples - set cond_1\] - \[prop - counter examples_- set cond 3\])_hold with_$d_1=d_2=d_3_=0$ and $\delta_=s_1_+ s_3_+ b_2$ and so we obtain the_condition $_s_1