lambda^{>s})_{s}\big)-s(s)_{s-1}\sum_{k=1}^{r}\big(-(s+1)_{s}\big)^{k-1}e_{r-k}\big((\lambda^{>s})_{s}\big)\big]$$ (this is also valid when $s=0$, where the sum over $k$ is indeed multiplied by a vanishing coefficient). On the other hand, when $j>s+1$ we observe that $(j)_{s}-(j-1)_{s}=s(j-1)_{s-1}$ (once again this equality holds also when $s=0$, in the form of $1-1=0$), so that we get $$jm_{j}\big[e_{r}\big((\lambda^{>s})_{s}\big)-s(j-1)_{s-1}\sum_{k=1}^{r}\big(-(j)_{s}\big)^{k-1}e_{r-k}\big((\lambda^{>s})_{s}\big)\big],$$ of which the latter equality is the case with $j=s+1$. Altogether the left hand side of Equation equals $$\sum_{j\geq1}jm_{j}e_{r}\big((\lambda^{>s})_{s}\big)-\sum_{j>s}sjm_{j}(j-1)_{s-1}\sum_{k=1}^{r}\big(-(j)_{s}\big)^{k-1}e_{r-k}\big((\lambda^{>s})_{s}\big). \label{LHS}$$

But recalling that $j(j-1)_{s-1}=(j)_{s}$ for every such $j$, we deduce that for each $1 \leq k \leq r$, the summand $e_{r-k}\big((\lambda^{>s})_{s}\big)$ (which is independent of $j$) is multiplied by $-s\sum_{j>s}(-1)^{k-1}(j)_{s}^{k}$, which equals $-s(-1)^{k}p_{k}\big((\lambda^{>s})_{s}$ by definition. It thus follows from Lemma \[epiden\] that the second expression in Equation is just $-sre_{r-k}\big((\lambda^{>s})_{s}\big)$. Since the first term there is $|\lambda|e_{
lambda^{>s})_{s}\big)-s(s)_{s-1}\sum_{k=1}^{r}\big(-(s+1)_{s}\big)^{k-1}e_{r - k}\big((\lambda^{>s})_{s}\big)\big]$$ (this is also valid when $ s=0 $, where the sum over $ k$ is indeed multiplied by a vanishing coefficient). On the other bridge player, when $ joule > s+1 $ we observe that $ (j)_{s}-(j-1)_{s}=s(j-1)_{s-1}$ (once again this equality holds besides when $ s=0 $, in the form of $ 1 - 1=0 $), so that we drive $ $ jm_{j}\big[e_{r}\big((\lambda^{>s})_{s}\big)-s(j-1)_{s-1}\sum_{k=1}^{r}\big(-(j)_{s}\big)^{k-1}e_{r - k}\big((\lambda^{>s})_{s}\big)\big],$$ of which the latter equality is the case with $ j = s+1$. all in all the leftover hand side of Equation equals $ $ \sum_{j\geq1}jm_{j}e_{r}\big((\lambda^{>s})_{s}\big)-\sum_{j > s}sjm_{j}(j-1)_{s-1}\sum_{k=1}^{r}\big(-(j)_{s}\big)^{k-1}e_{r - k}\big((\lambda^{>s})_{s}\big). \label{LHS}$$ 

 But recalling that $ j(j-1)_{s-1}=(j)_{s}$ for every such $ j$, we deduce that for each $ 1 \leq k \leq r$, the summand $ e_{r - k}\big((\lambda^{>s})_{s}\big)$ (which is independent of $ j$) is reproduce by $ -s\sum_{j > s}(-1)^{k-1}(j)_{s}^{k}$, which equals $ -s(-1)^{k}p_{k}\big((\lambda^{>s})_{s}$ by definition. It thus follow from Lemma \[epiden\ ] that the second expression in Equation is just $ -sre_{r - k}\big((\lambda^{>s})_{s}\big)$. Since the first term there is $ |\lambda|e _ {
lamhda^{>s})_{s}\big)-s(s)_{s-1}\sum_{k=1}^{r}\big(-(s+1)_{s}\big)^{y-1}e_{r-k}\big((\lambda^{>s})_{s}\yug)\big]$$ (vhis is also vauid when $s=0$, where the sum ovec $k$ us ineeed multiplied by a vxnishing boefficiebt). Oi the other hand, when $j>s+1$ we obacrve chet $(j)_{s}-(j-1)_{s}=s(j-1)_{s-1}$ (once again thiv equality holgs apso when $s=0$, in the form of $1-1=0$), so that re get $$km_{u}\big[e_{r}\big((\lambdw^{>s})_{s}\bpg)-f(j-1)_{s-1}\shm_{k=1}^{r}\big(-(j)_{s}\big)^{k-1}e_{r-k}\big((\lambda^{>s})_{s}\big)\big],$$ kf whici the latter eqiality is the case with $j=s+1$. Altlgether the left hwnd side of Equwrion equals $$\rum_{j\geq1}jm_{j}t_{r}\yig((\lambda^{>s})_{s}\gig)-\sum_{j>s}sjm_{j}(j-1)_{s-1}\sum_{k=1}^{r}\big(-(j)_{s}\big)^{k-1}e_{r-k}\cig((\lakbda^{>s})_{s}\big). \oavel{PVS}$$

But recaloing nhat $j(j-1)_{s-1}=(j)_{s}$ fov every such $j$, we deduce thab for eaxh $1 \leq k \leq r$, the snmmand $e_{r-k}\big((\lambda^{>s})_{f}\big)$ (whicv ns independent of $j$) iw nultiklied by $-r\wum_{g>s}(-1)^{k-1}(n)_{s}^{l}$, shich fquels $-s(-1)^{k}p_{k}\big((\mambda^{>s})_{s}$ by definition. It thus fjolows from Lejma \[epydqn\] that the second expression in Equatimn js just $-sre_{r-k}\big((\lambda^{>s})_{w}\big)$. Since the first jerm there is $|\lambda|e_{
lambda^{>s})_{s}\big)-s(s)_{s-1}\sum_{k=1}^{r}\big(-(s+1)_{s}\big)^{k-1}e_{r-k}\big((\lambda^{>s})_{s}\big)\big]$$ (this is also valid when $s=0$, sum $k$ is multiplied by a hand, $j>s+1$ we observe $(j)_{s}-(j-1)_{s}=s(j-1)_{s-1}$ (once again equality holds also when $s=0$, in form of $1-1=0$), so that we get $$jm_{j}\big[e_{r}\big((\lambda^{>s})_{s}\big)-s(j-1)_{s-1}\sum_{k=1}^{r}\big(-(j)_{s}\big)^{k-1}e_{r-k}\big((\lambda^{>s})_{s}\big)\big],$$ of which the latter equality the case with $j=s+1$. Altogether the left hand side of Equation equals $$\sum_{j\geq1}jm_{j}e_{r}\big((\lambda^{>s})_{s}\big)-\sum_{j>s}sjm_{j}(j-1)_{s-1}\sum_{k=1}^{r}\big(-(j)_{s}\big)^{k-1}e_{r-k}\big((\lambda^{>s})_{s}\big). But that for such $j$, we deduce that for each $1 \leq k \leq r$, the summand $e_{r-k}\big((\lambda^{>s})_{s}\big)$ (which independent of $j$) is multiplied by $-s\sum_{j>s}(-1)^{k-1}(j)_{s}^{k}$, which $-s(-1)^{k}p_{k}\big((\lambda^{>s})_{s}$ by definition. It follows from Lemma \[epiden\] that second in Equation just Since first term there $|\lambda|e_{
lambda^{>s})_{s}\big)-s(s)_{s-1}\sum_{k=1}^{r}\big(-(s+1)_{s}\bIg)^{k-1}e_{r-k}\big((\lAmbda^{>S})_{s}\bIg)\bIg]$$ (This Is alSo valid when $s=0$, whERe thE sum over $k$ is indeed multiPlied By A VaniSHiNg coeFficienT). on THE otHeR hAnd, WhEN $j>S+1$ we obSerVe that $(j)_{S}-(j-1)_{s}=s(j-1)_{s-1}$ (once AgaIn This equality HOlDs also when $S=0$, in The form of $1-1=0$), so tHat We get $$jM_{j}\Big[E_{R}\big((\lAmbDa^{>s})_{s}\bIg)-s(j-1)_{s-1}\sUM_{k=1}^{r}\big(-(J)_{s}\big)^{k-1}e_{r-k}\BiG((\Lambda^{>S})_{S}\big)\big],$$ OF WhIch tHe latter equality iS ThE Case with $j=s+1$. AltoGether ThE LeFT HanD siDe of EquatiOn EqualS $$\Sum_{j\geq1}JM_{j}E_{R}\BIg((\lAMbda^{>s})_{s}\big)-\sum_{j>S}sjm_{j}(j-1)_{s-1}\sum_{k=1}^{R}\Big(-(J)_{s}\big)^{k-1}E_{r-K}\biG((\Lambda^{>S})_{s}\big). \LaBEl{LhS}$$

But recallIng tHat $j(j-1)_{s-1}=(j)_{s}$ fOr everY Such $j$, we DEduce thAt for eAch $1 \Leq K \leq R$, ThE sUmmAnD $E_{r-k}\BIg((\LamBDa^{>s})_{S}\big)$ (whicH iS iNdepeNdenT OF $J$) Is muLtiPlieD by $-s\sUm_{j>s}(-1)^{k-1}(j)_{s}^{k}$, which EquAls $-s(-1)^{K}P_{k}\bIg((\lamBda^{>s})_{s}$ By deFiNitioN. It thuS follOwS from Lemma \[epideN\] thaT the seconD exPrEssIoN in EqUAtion iS juSt $-sRe_{r-k}\big((\Lambda^{>s})_{S}\Big)$. siNCE ThE first term there is $|\lAmBDA|e_{
lambda^{>s})_{s}\big)-s(s) _{s-1}\sum _{k=1 }^{ r}\ bi g(-( s+1) _{s}\big)^{k-1 } e_{r -k}\big((\lambda^{>s}) _{s}\ bi g )\bi g ]$ $ (th is is a l so v ali dwh en$s = 0$ , whe rethe sum  over $k$isin deed multipl i ed  by a vani shi ng coefficie nt) . On t he  ot h er ha nd,  when  $j>s+ 1 $ we o bserve th at $(j)_{ s }-(j-1) _ { s} =s(j -1)_{s-1}$ (oncea ga i n this equalit y hold sa ls o whe n $ s=0$, in t he  form of $1-1 = 0$ ) , sot hat we get $$ jm_{j}\big[ e _{r }\big( (\ lam b da^{>s })_{s }\ b ig) -s(j-1)_{s- 1}\s um_{k=1}^ {r}\bi g (-(j)_{ s }\big)^ {k-1}e _{r -k} \big ( (\ la mbd a^ { >s} ) _{ s}\ b ig) \big],$$  o fwhich  the l a t terequ alit y isthe case with  $j =s+1 $ . A ltoge therthele ft ha nd sid e ofEq uation equals $ $\su m_{j\geq1 }jm _{ j}e _{ r}\bi g ((\lam bda ^{> s})_{s} \big)-\ s um_ {j > s } sj m_{j}(j-1)_{s-1}\s um _ { k= 1}^{r}\b ig(-(j ) _{ s} \ big)^{k- 1} e_{ r-k} \ b ig((\ lamb d a^ {>s})_{s }\big) .  \ la bel{LHS }$ $

But  r eca lli ng th a t $j (j-1)_ {s-1}=(j )_{s} $  for every suc h  $j$, we dedu c et h at foreac h $1 \leq k  \le q  r$,  the su mma n d $e_ {r-k} \b i g( ( \lambda^{>s})_{s}\b ig )$ (wh ich i s independent  of $j$) i s m ultiplie d by $- s \sum_{j>s}(-1) ^{k-1 }(j)_{s}^{ k }$, whic h equ als $-s( -1)^{k}p_ { k }\big((\ lam bda ^{> s}) _ { s} $ by definiti o n . It  t hus fol low s fromLem ma\[e pid en \] that t he secon dex pr es sio n inE quationis  ju st  $- sre_{ r -k}\bi g((\l ambd a^ {> s })_ {s}\big ) $. S ince  t he  fir stte rm th erei s $ |\lambd a|e_{
lambda^{>s})_{s}\big)-s(s)_{s-1}\sum_{k=1}^{r}\big(-(s+1)_{s}\big)^{k-1}e_{r-k}\big((\lambda^{>s})_{s}\big)\big]$$ (this_is also_valid when $s=0$, where_the sum_over_$k$ is_indeed_multiplied by a_vanishing coefficient). On_the other hand, when_$j>s+1$ we observe_that_$(j)_{s}-(j-1)_{s}=s(j-1)_{s-1}$ (once again this equality holds also when $s=0$, in the form of $1-1=0$),_so_that we_get_$$jm_{j}\big[e_{r}\big((\lambda^{>s})_{s}\big)-s(j-1)_{s-1}\sum_{k=1}^{r}\big(-(j)_{s}\big)^{k-1}e_{r-k}\big((\lambda^{>s})_{s}\big)\big],$$_of which the latter equality_is the case with $j=s+1$._Altogether the_left hand side of Equation equals $$\sum_{j\geq1}jm_{j}e_{r}\big((\lambda^{>s})_{s}\big)-\sum_{j>s}sjm_{j}(j-1)_{s-1}\sum_{k=1}^{r}\big(-(j)_{s}\big)^{k-1}e_{r-k}\big((\lambda^{>s})_{s}\big). \label{LHS}$$

But_recalling_that $j(j-1)_{s-1}=(j)_{s}$ for_every such $j$, we deduce that for each $1_\leq k \leq r$, the summand_$e_{r-k}\big((\lambda^{>s})_{s}\big)$ (which is_independent_of_$j$) is multiplied by_$-s\sum_{j>s}(-1)^{k-1}(j)_{s}^{k}$, which equals $-s(-1)^{k}p_{k}\big((\lambda^{>s})_{s}$ by definition._It thus follows from Lemma \[epiden\]_that the second expression in Equation is_just $-sre_{r-k}\big((\lambda^{>s})_{s}\big)$. Since the first term_there is $|\lambda|e_{