cS^*|+|Y|$. In other words, $|\cR|\le 1+|\cS^*|-|\cS_2^*|<5$, a contradiction.

[**Case**]{} $|L|=2$\
We may assume that $L=\{2,4\}$. Then $|\cS|=|\cS^*|+2+|Y_2|+|Y_4|$ and $Y=Y_2\cup Y_4$. From (\[prop:bi\]) we have $\cR^*\subseteq\{ \{2,3,4\},\{2,4,5\}\}$. We need only consider cases for which $|\cR|\ge 5+|Y|$.\

1.  $|Y_2|,|Y_4|\ge 2$\
    From (\[prop:ylarge\]) we know that $\cR\setminus\cR^*=\cR(2,4)$. Using inequality (\[eq:individual\]) with $\{i,j\}=\{2,4\}$ and the fact that $5+|Y|\le|\cR|$, we get $|Y_i|+|S_i^*|+6+|Y|\le 1+|Y_i|+|\cS_i^*|+|\cR(2,4)|+|\cR^*|\le |\cS|=|\cS^*|+2+|Y_i|+|Y_j|$, which gives, for each $j\in\{2,4\}$, that $|Y|\le |\cS^*|-4+|Y_j|< |Y_j|$, a contradiction.

2.  $|Y_2|=1$ and $|Y_4|\ge 2$ (the case $|Y_4|=1$ and $|Y_2|\ge 2$ is handled symmetrically)\
    Without loss of generality, $Y_2=\{6\}$. From (\[prop:ylarge\]) we have $\cR(2,5)=\cR(3,5)=\emptyset$, and from (\[prop:ysmall\]) we know that $\cR(3,4)\subseteq\{\{3,4,6\}\}$ and $\cR\setminus\cR^*=\cR(3,4)\cup\cR(2,4)$. Thus, $\cR_4=\cR$. Also, $\cS^*\subseteq\{\{1,2,4\},\{1,2,5\
cS^*|+|Y|$. In other words, $ |\cR|\le 1+|\cS^*|-|\cS_2^*|<5 $, a contradiction. 

 [ * * Case * * ] { } $ |L|=2$\ 
 We may assume that $ L=\{2,4\}$. Then $ |\cS|=|\cS^*|+2+|Y_2|+|Y_4|$ and $ yttrium = Y_2\cup Y_4$. From (\[prop: bi\ ]) we take $ \cR^*\subseteq\ { \{2,3,4\},\{2,4,5\}\}$. We need only consider lawsuit for which $ |\cR|\ge 5+|Y|$.\ 

 1.   $ |Y_2|,|Y_4|\ge 2$\ 
     From (\[prop: ylarge\ ]) we sleep together that $ \cR\setminus\cR^*=\cR(2,4)$. Using inequality (\[eq: individual\ ]) with $ \{i, j\}=\{2,4\}$ and the fact that $ 5+|Y|\le|\cR|$, we get $ |Y_i|+|S_i^*|+6+|Y|\le 1+|Y_i|+|\cS_i^*|+|\cR(2,4)|+|\cR^*|\le |\cS|=|\cS^*|+2+|Y_i|+|Y_j|$, which give, for each $ j\in\{2,4\}$, that $ |Y|\le |\cS^*|-4+|Y_j| < |Y_j|$, a contradiction. 

 2.   $ |Y_2|=1 $ and $ |Y_4|\ge 2 $ (the case $ |Y_4|=1 $ and $ |Y_2|\ge 2 $ is handled symmetrically)\ 
     Without personnel casualty of generality, $ Y_2=\{6\}$. From (\[prop: ylarge\ ]) we have $ \cR(2,5)=\cR(3,5)=\emptyset$, and from (\[prop: ysmall\ ]) we sleep together that $ \cR(3,4)\subseteq\{\{3,4,6\}\}$ and $ \cR\setminus\cR^*=\cR(3,4)\cup\cR(2,4)$. Thus, $ \cR_4=\cR$. Also, $ \cS^*\subseteq\{\{1,2,4\},\{1,2,5\
cS^*|+|Y|$. In other words, $|\cR|\le 1+|\cS^*|-|\cR_2^*|<5$, a contradiction.

[**Case**]{} $|N|=2$\
We mag assume that $L=\{2,4\}$. Then $|\cS|=|\cS^*|+2+|Y_2|+|Y_4|$ and $Y=Y_2\cu' Y_4$. Drom (\[kgop:bi\]) we have $\cR^*\subsegeq\{ \{2,3,4\},\{2,4,5\}\}$. We nved only xonsmder cases for wijch $|\cR|\gc 5+|Y|$.\

1.  $|G_2|,|N_4|\ge 2$\
    From (\[prop:ylatge\]) we know dhat $\cR\setminuv\cF^*=\cX(2,4)$. Using inequality (\[eq:individual\]) with $\{i,j\}=\{2,4\}$ and tje fact that $5+|Y|\je|\cR|$, re gsn $|N_i|+|S_i^*|+6+|Y|\le 1+|Y_i|+|\cS_i^*|+|\cR(2,4)|+|\cR^*|\le |\cS|=|\cS^*|+2+|Y_i|+|Y_j|$, whidh givev, for each $j\im\{2,4\}$, that $|Y|\le |\cS^*|-4+|Y_j|< |Y_j|$, a contrwdichion.

2.  $|Y_2|=1$ and $|Y_4|\ge 2$ (tje case $|Y_4|=1$ abd $|Y_2|\dw 2$ is handlea symmetribclly)\
    Witgout loss of generality, $Y_2=\{6\}$. From (\[orop:ykarge\]) we hqvw $\cG(2,5)=\wR(3,5)=\emptyset$, end frjm (\[prop:ysmall\]) we knof that $\vR(3,4)\subseteq\{\{3,4,6\}\}$ and $\cR\vetninus\cR^*=\cR(3,4)\cup\cR(2,4)$. Thus, $\cC_4=\cR$. Also, $\cS^*\subseteq\{\{1,2,4\},\{1,2,5\
cS^*|+|Y|$. In other words, $|\cR|\le 1+|\cS^*|-|\cS_2^*|<5$, a $|L|=2$\ may assume $L=\{2,4\}$. Then $|\cS|=|\cS^*|+2+|Y_2|+|Y_4|$ we $\cR^*\subseteq\{ \{2,3,4\},\{2,4,5\}\}$. We only consider cases which $|\cR|\ge 5+|Y|$.\ 1. $|Y_2|,|Y_4|\ge 2$\ (\[prop:ylarge\]) we know that $\cR\setminus\cR^*=\cR(2,4)$. Using inequality (\[eq:individual\]) with $\{i,j\}=\{2,4\}$ and the fact $5+|Y|\le|\cR|$, we get $|Y_i|+|S_i^*|+6+|Y|\le 1+|Y_i|+|\cS_i^*|+|\cR(2,4)|+|\cR^*|\le |\cS|=|\cS^*|+2+|Y_i|+|Y_j|$, which gives, for each $j\in\{2,4\}$, that $|Y|\le |Y_j|$, contradiction. $|Y_2|=1$ $|Y_4|\ge 2$ (the case $|Y_4|=1$ and $|Y_2|\ge 2$ is handled symmetrically)\ Without loss of generality, $Y_2=\{6\}$. (\[prop:ylarge\]) we have $\cR(2,5)=\cR(3,5)=\emptyset$, and from (\[prop:ysmall\]) we that $\cR(3,4)\subseteq\{\{3,4,6\}\}$ and $\cR\setminus\cR^*=\cR(3,4)\cup\cR(2,4)$. $\cR_4=\cR$. Also, $\cS^*\subseteq\{\{1,2,4\},\{1,2,5\
cS^*|+|Y|$. In other words, $|\cR|\le 1+|\cS^*|-|\cS_2^*|<5$, a cOntradictiOn.

[**CasE**]{} $|L|=2$\
WE maY aSsumE thaT $L=\{2,4\}$. Then $|\cS|=|\cS^*|+2+|Y_2|+|Y_4|$ anD $y=Y_2\cuP Y_4$. From (\[prop:bi\]) we have $\cR^*\suBseteQ\{ \{2,3,4\},\{2,4,5\}\}$. WE Need ONlY consIder casES fOR WhiCh $|\CR|\Ge 5+|Y|$.\

1.  $|y_2|,|Y_4|\GE 2$\
    FRom (\[prOp:yLarge\]) we Know that $\cR\SetMiNus\cR^*=\cR(2,4)$. Using INeQuality (\[eq:iNdiVidual\]) with $\{i,j\}=\{2,4\}$ And The facT tHat $5+|y|\Le|\cR|$, wE geT $|Y_i|+|S_i^*|+6+|y|\le 1+|Y_i|+|\cs_I^*|+|\cR(2,4)|+|\cR^*|\lE |\cS|=|\cS^*|+2+|Y_i|+|Y_j|$, WhICh giveS, For each $J\IN\{2,4\}$, tHat $|Y|\Le |\cS^*|-4+|Y_j|< |Y_j|$, a contradiCTiON.

2.  $|Y_2|=1$ and $|Y_4|\ge 2$ (the casE $|Y_4|=1$ and $|Y_2|\Ge 2$ IS hANDleD syMmetricallY)\
    WIthouT Loss of gENeRALIty, $y_2=\{6\}$. from (\[prop:ylargE\]) we have $\cR(2,5)=\cR(3,5)=\EMptYset$, anD fRom (\[PRop:ysmAll\]) we KnOW thAt $\cR(3,4)\subseteQ\{\{3,4,6\}\}$ and $\CR\setminuS\cR^*=\cR(3,4)\cUP\cR(2,4)$. Thus, $\Cr_4=\cR$. Also, $\CS^*\subsEteQ\{\{1,2,4\},\{1,2,5\
cS^*|+|Y|$. In other words , $|\cR|\l e 1+| \cS ^*| -| \cS_ 2^*| <5$, a contrad i ctio n.

[**Case**]{} $|L|= 2$\
W em ay a s su me th at $L=\ { 2, 4 \ }$.  T he n $ |\ c S| =|\cS ^*| +2+|Y_2 |+|Y_4|$ a nd$Y =Y_2\cup Y_4 $ .From (\[pr op: bi\]) we hav e $ \cR^*\ su bse t eq\{\{2 ,3,4\ },\{2, 4 ,5\}\} $. We nee do nly co n sider c a s es  for  which $|\cR|\ge5 +| Y |$.\

1.  $|Y_ 2|,|Y_ 4| \ ge 2 $\   From (\[p ro p:yla r ge\]) w e  k n o w  th a t $\cR\setmin us\cR^*=\cR ( 2,4 )$. Us in g i n equali ty (\ [e q :in dividual\])  wit h $\{i,j\ }=\{2, 4 \}$ and the fac t that  $5 +|Y |\le | \c R| $,we get $| Y_i | +|S _i^*|+6+ |Y |\ le 1+ |Y_i | + | \ cS_i ^*| +|\c R(2,4 )|+|\cR^*|\le  |\ cS|= | \cS ^*|+2 +|Y_i |+|Y _j |$, w hich g ives,  f or each $j\in\{ 2,4\ }$, that$|Y |\ le|\ cS^*| - 4+|Y_j |<|Y_ j|$, acontrad i cti on . 2.   $|Y_2|=1$ and $| Y_ 4 | \g e 2$ (th e case $| Y_ 4 |=1$ and  $ |Y_ 2|\g e 2$ is  han d le d symmet ricall y )\ 
   With ou t loss  o f g ene ralit y , $Y _2=\{6 \}$. Fro m (\[ p rop:ylarge\])w e have $\cR(2 , 5) = \ cR ( 3,5) =\e mptyset$, a nd f r om ( \[pr o p: ysm a ll\])  we k no w  t h at $\cR(3,4)\subset eq \{\{3, 4,6\} \}$ and $\cR\ setminus\c R ^ * =\cR(3,4 )\cu p \c R (2,4)$. Thus,$\cR_ 4=\cR$. Al s o, $\cS^ *\sub seteq\{\ {1,2,4\}, \ { 1,2,5\
cS^*|+|Y|$. In_other words,_$|\cR|\le 1+|\cS^*|-|\cS_2^*|<5$, a contradiction.

[**Case**]{}_$|L|=2$\
We may_assume_that $L=\{2,4\}$._Then_$|\cS|=|\cS^*|+2+|Y_2|+|Y_4|$ and $Y=Y_2\cup_Y_4$. From (\[prop:bi\])_we have $\cR^*\subseteq\{ \{2,3,4\},\{2,4,5\}\}$._We need only_consider_cases for which $|\cR|\ge 5+|Y|$.\

1.  $|Y_2|,|Y_4|\ge 2$\
    From (\[prop:ylarge\]) we_know_that $\cR\setminus\cR^*=\cR(2,4)$._Using_inequality_(\[eq:individual\]) with $\{i,j\}=\{2,4\}$ and the_fact that $5+|Y|\le|\cR|$, we get_$|Y_i|+|S_i^*|+6+|Y|\le 1+|Y_i|+|\cS_i^*|+|\cR(2,4)|+|\cR^*|\le_|\cS|=|\cS^*|+2+|Y_i|+|Y_j|$, which gives, for each $j\in\{2,4\}$, that $|Y|\le_|\cS^*|-4+|Y_j|<_|Y_j|$, a contradiction.

2._ $|Y_2|=1$ and $|Y_4|\ge 2$ (the case $|Y_4|=1$ and_$|Y_2|\ge 2$ is handled symmetrically)\
 _  Without_loss_of_generality, $Y_2=\{6\}$. From (\[prop:ylarge\])_we have $\cR(2,5)=\cR(3,5)=\emptyset$, and from (\[prop:ysmall\])_we know that $\cR(3,4)\subseteq\{\{3,4,6\}\}$ and $\cR\setminus\cR^*=\cR(3,4)\cup\cR(2,4)$._Thus, $\cR_4=\cR$. Also, $\cS^*\subseteq\{\{1,2,4\},\{1,2,5\