\sum_{x_1, \ldots, x_{r-1} \in V({\mathcal{H}})} \deg(x_1, x_2, \ldots, x_{r-1}) = \binom{r+1}{r-1} |\mathcal{H}'| = \binom{r+1}{2} |\mathcal{H}'|.$$

On the other hand, again by double counting, $$\begin{aligned}
\sum_{q \in E(\mathcal{H}')} &\sum_{x_1, \ldots, x_{r-1} \in q} \deg(x_1, \ldots, x_{r-1}) \notag\\
    & = \sum_{x_1, \ldots, x_{r-1} \in V({\mathcal{H}})} \deg(x_1, \ldots, x_{r-1})^2 \notag\\
    & \geq \frac{1}{\binom{n}{r-1}} \left(\sum_{x_1, \ldots, x_{r-1}} \deg(x_1, \ldots, x_{r-1}) \right)^2 
    &&\text{(by Jensen's inequality)} \notag\\
    & = \frac{1}{\binom{n}{r-1}}\left( \binom{r+1}{2} |\mathcal{H}'| \right)^2. &&\text{(by eq. \eqref{eq:deg-size})} \label{eq:conv-bd}\end{aligned}$$

Fix any $q \in E(\mathcal{H}')$. By double counting, since each hyperedge in $\mathcal{H}'$ has $r+1 = (r-1) + 2$ vertices, $$\begin{aligned}
\sum_{\{x_1, \ldots, x_{r-1} \} \subseteq q} \deg(x_1, \ldots, x_{r-1})
    &=\sum_{\underset{|A| = r-1}{A \subseteq q}} |\{q' \mid A \subseteq q'\}| \notag\\
    & = \sum_{\underset{|A| = r-1}{A  \subseteq q}} \left(1 + |\{q' \neq q \mid A \subseteq q'\}| \right) \notag\\
    &
\sum_{x_1, \ldots, x_{r-1 } \in V({\mathcal{H } }) } \deg(x_1, x_2, \ldots, x_{r-1 }) = \binom{r+1}{r-1 } |\mathcal{H}'| = \binom{r+1}{2 } |\mathcal{H}'|.$$ 

 On the other hand, again by double counting, $ $ \begin{aligned } 
 \sum_{q \in E(\mathcal{H }') } & \sum_{x_1, \ldots, x_{r-1 } \in q } \deg(x_1, \ldots, x_{r-1 }) \notag\\ 
     & = \sum_{x_1, \ldots, x_{r-1 } \in V({\mathcal{H } }) } \deg(x_1, \ldots, x_{r-1})^2 \notag\\ 
     & \geq \frac{1}{\binom{n}{r-1 } } \left(\sum_{x_1, \ldots, x_{r-1 } } \deg(x_1, \ldots, x_{r-1 }) \right)^2 
     & & \text{(by Jensen's inequality) } \notag\\ 
     & = \frac{1}{\binom{n}{r-1}}\left (\binom{r+1}{2 } |\mathcal{H}'| \right)^2. & & \text{(by eq. \eqref{eq: deg - size }) } \label{eq: conv - bd}\end{aligned}$$ 

 specify any $ q \in E(\mathcal{H}')$. By bivalent counting, since each hyperedge in $ \mathcal{H}'$ has $ r+1 = (r-1) + 2 $ vertex, $ $ \begin{aligned } 
 \sum_{\{x_1, \ldots, x_{r-1 } \ } \subseteq q } \deg(x_1, \ldots, x_{r-1 }) 
     & = \sum_{\underset{|A| = r-1}{A \subseteq q } } |\{q' \mid vitamin a \subseteq q'\}| \notag\\ 
     & = \sum_{\underset{|A| = r-1}{A   \subseteq q } } \left(1 + |\{q' \neq q \mid A \subseteq q'\}| \right) \notag\\ 
     &
\sum_{d_1, \ldots, x_{r-1} \in V({\mathcal{H}})} \aeg(x_1, x_2, \ldots, x_{r-1}) = \binom{c+1}{r-1} |\mathdal{H}'| = \bivom{r+1}{2} |\mathcal{H}'|.$$

On the other haid, atain vy double counting, $$\begkn{aligned}
\dum_{q \in W(\matical{H}')} &\sum_{x_1, \ldots, x_{r-1} \in q} \deg(x_1, \mfots, e_{r-1}) \notag\\
    & = \som_{x_1, \ldots, x_{r-1} \in V({\mathcal{H}})} \gee(x_1, \ldots, x_{r-1})^2 \notag\\
    & \geq \frac{1}{\binom{n}{r-1}} \left(\suk_{x_1, \ldots, x_{r-1}} \deg(x_1, \ldous, v_{r-1}) \rjght)^2 
    &&\text{(by Jensen's inequality)} \notag\\
    & = \frac{1}{\binok{n}{r-1}}\left( \binom{r+1}{2} |\mathcal{H}'| \rihht)^2. &&\hext{(by eq. \eqref{eq:dfg-size})} \labeo{eq:cjbv-bd}\end{aligndd}$$

Fix any $q \in E(\mathcam{H}')$. By double counting, since eacf hypzredge in $\mqtycap{V}'$ has $r+1 = (r-1) + 2$ vernices, $$\begin{allbned}
\suk_{\{x_1, \ldotx, x_{r-1} \} \subseteq q} \veg(x_1, \ldots, x_{r-1})
    &=\sum_{\undervet{|A| = r-1}{A \subseteq z}} |\{q' \mid A \sbbseteq q'\}| \notag\\
    & = \wun_{\undetset{|A| = r-1}{A  \sucseueq q}} \left(1 + |\{q' \ieq q \mid A \subseteq q'\}| \right) \notag\\
    &
\sum_{x_1, \ldots, x_{r-1} \in V({\mathcal{H}})} \deg(x_1, x_2, = |\mathcal{H}'| = |\mathcal{H}'|.$$ On the counting, \sum_{q \in E(\mathcal{H}')} \ldots, x_{r-1} \in \deg(x_1, \ldots, x_{r-1}) \notag\\ & = \ldots, x_{r-1} \in V({\mathcal{H}})} \deg(x_1, \ldots, x_{r-1})^2 \notag\\ & \geq \frac{1}{\binom{n}{r-1}} \left(\sum_{x_1, \ldots, \deg(x_1, \ldots, x_{r-1}) \right)^2 &&\text{(by Jensen's inequality)} \notag\\ & = \frac{1}{\binom{n}{r-1}}\left( \binom{r+1}{2} |\mathcal{H}'| &&\text{(by \eqref{eq:deg-size})} Fix $q \in E(\mathcal{H}')$. By double counting, since each hyperedge in $\mathcal{H}'$ has $r+1 = (r-1) + vertices, $$\begin{aligned} \sum_{\{x_1, \ldots, x_{r-1} \} \subseteq q} \ldots, x_{r-1}) &=\sum_{\underset{|A| = \subseteq q}} |\{q' \mid A q'\}| & = = \subseteq \left(1 + |\{q' q \mid A \subseteq q'\}| \right) \notag\\ &
\sum_{x_1, \ldots, x_{r-1} \in V({\mathcal{H}})} \deg(X_1, x_2, \ldots, x_{r-1}) = \bInom{r+1}{R-1} |\maThcAl{h}'| = \binOm{r+1}{2} |\mAthcal{H}'|.$$

On the otHEr haNd, again by double countinG, $$\begiN{aLIgneD}
\SuM_{q \in E(\Mathcal{h}')} &\SuM_{X_1, \LdoTs, X_{r-1} \In q} \DeG(X_1, \lDots, x_{R-1}) \noTag\\
    & = \sum_{x_1, \Ldots, x_{r-1} \in V({\MatHcAl{H}})} \deg(x_1, \ldots, X_{R-1})^2 \nOtag\\
    & \geq \fraC{1}{\biNom{n}{r-1}} \left(\sum_{X_1, \ldOts, x_{r-1}} \dEg(X_1, \ldOTs, x_{r-1}) \rIghT)^2 
    &&\text{(By JensEN's ineqUality)} \notAg\\
    & = \FRac{1}{\binOM{n}{r-1}}\left( \BINoM{r+1}{2} |\maThcal{H}'| \right)^2. &&\text{(by EQ. \eQRef{eq:deg-size})} \laBel{eq:cOnV-Bd}\END{alIgnEd}$$

Fix any $q \iN E(\MathcAL{H}')$. By douBLe COUNtiNG, since each hypEredge in $\matHCal{h}'$ has $r+1 = (r-1) + 2$ VeRtiCEs, $$\begiN{aligNeD}
\Sum_{\{X_1, \ldots, x_{r-1} \} \subSeteQ q} \deg(x_1, \ldoTs, x_{r-1})
    &=\suM_{\UnderseT{|a| = r-1}{A \subsEteq q}} |\{q' \Mid a \suBsetEQ q'\}| \NoTag\\
    & = \SuM_{\UndERsEt{|A| = R-1}{a  \suBseteq q}} \lEfT(1 + |\{q' \Neq q \mId A \sUBSETeq q'\}| \RigHt) \noTag\\
    &
\sum_{x_1, \ldots, x_{r-1}  \in V({\m athca l{H }}) }\deg (x_1 , x_2, \ldots, x_{r -1}) = \binom{r+1}{r-1 } |\m at h cal{ H }' | = \ binom{r + 1} { 2 } | \m at hca l{ H }' |.$$
On  the ot her hand,aga in  by double c o un ting, $$\b egi n{aligned}
\ sum _{q \i nE(\ m athca l{H }')}&\sum_ { x_1, \ ldots, x_ {r - 1} \in q} \deg ( x _1 , \l dots, x_{r-1}) \n o ta g \\
    & = \su m_{x_1 ,\ ld o t s,x_{ r-1} \in V ({ \math c al{H}}) }  \ d e g (x_ 1 , \ldots, x_{ r-1})^2 \no t ag\ \
   &\ge q  \frac {1}{\ bi n om{ n}{r-1}} \l eft( \sum_{x_1 , \ldo t s, x_{r - 1}} \de g(x_1,  \l dot s, x _ {r -1 })\r i ght ) ^2  
  & &\text{( by  J ensen 's i n e q u alit y)}  \no tag\\ 
    & = \fra c{1 }{\b i nom {n}{r -1}}\ left (\bino m{r+1} {2} | \m athcal{H}'| \ri ght) ^2. &&\te xt{ (b y e q.  \eqr e f{eq:d eg- siz e})} \l abel{eq : con v- b d } \e nd{aligned}$$

Fix  a n y  $ q \in E( \mathc a l{ H} ' )$. By d ou ble  cou n t ing,sinc e  e ach hype redgei n$\ mathcal {H }'$ ha s$r+ 1 =  (r-1 )  + 2 $ vert ices, $$ \begi n {aligned}
\sum _ {\{x_1, \ldot s ,x _ {r - 1} \ } \ subseteq q}  \de g (x_1 , \l d ot s,x _{r-1 })
  & =\ s um_{\underset{|A| =  r -1}{A\subs eteq q}} |\{q ' \mid A \ s u b seteq q' \}|\ no t ag\\
    & = \ sum_{ \underset{ | A| = r-1 }{A \subsete q q}} \le f t (1 + |\{ q'\ne q q  \m i d  A  \subseteq q' \ } | \r ig ht) \no tag \\
   &
\sum_{x_1, \ldots,_x_{r-1} \in_V({\mathcal{H}})} \deg(x_1, x_2, \ldots,_x_{r-1}) =_\binom{r+1}{r-1}_|\mathcal{H}'| =_\binom{r+1}{2}_|\mathcal{H}'|.$$

On the other_hand, again by_double counting, $$\begin{aligned}
\sum_{q \in_E(\mathcal{H}')} &\sum_{x_1, \ldots,_x_{r-1}_\in q} \deg(x_1, \ldots, x_{r-1}) \notag\\
    & = \sum_{x_1, \ldots, x_{r-1}_\in_V({\mathcal{H}})} \deg(x_1,_\ldots,_x_{r-1})^2_\notag\\
    &_\geq \frac{1}{\binom{n}{r-1}} \left(\sum_{x_1, \ldots, x_{r-1}}_\deg(x_1, \ldots,_x_{r-1}) \right)^2 
    &&\text{(by Jensen's_inequality)}_\notag\\
  _ & = \frac{1}{\binom{n}{r-1}}\left( \binom{r+1}{2} |\mathcal{H}'| \right)^2. &&\text{(by eq._\eqref{eq:deg-size})} \label{eq:conv-bd}\end{aligned}$$

Fix any $q \in E(\mathcal{H}')$._By double counting,_since_each_hyperedge in $\mathcal{H}'$ has_$r+1 = (r-1) + 2$ vertices,_$$\begin{aligned}
\sum_{\{x_1, \ldots, x_{r-1} \} \subseteq q}_\deg(x_1, \ldots, x_{r-1})
    &=\sum_{\underset{|A|_= r-1}{A \subseteq q}} |\{q' \mid_A \subseteq q'\}| \notag\\
 _ _& = \sum_{\underset{|A| = r-1}{A_ \subseteq q}}_\left(1 +_|\{q' \neq q_\mid A \subseteq q'\}| \right) \notag\\
_  _&