}$. Thus, $$\label{equation:1}
\sum_{{\ell}_{k+1}\in
V_{{\ell}_k}}\prod_{e\in M_{{\ell}_1,\dots,{\ell}_{k+1}}}a_{e}
=-\prod_{e\in M_{{\ell}_1,\dots,
{\ell}_k}}a_{e}.$$

Combining Equation with the definition of the weight of configurations given in Equation yields: $$\begin{aligned}
\sum_{{\ell}_{k+1}\in V_{{\ell}_k}}w(M_{{\ell}_1,\dots,{\ell}_{k+1}}) &=
\sgn(\sigma_{M_0(M_{{\ell}_1,\dots,{\ell}_k})})(-1)^{|\C|}(-1)^{|\D|-k}\sum_{{
\ell}_{k+1}
\in
V_{{\ell}_k}}\prod_{e \in M_ { {\ell}_1, \dots,{\ell}_{k+1}}}a_{e}\\
&=\sgn(\sigma_{M_0(M_{{\ell}_1,\dots,{\ell}_k})})(-1)^{|\C|}(-1)^{|\D|-(k-1)}
\prod_{e\in M_{{\ell}_1,\dots,{\ell}_k}}a_{e}\\
&=w(M_{{\ell}_1,\dots,{\ell}_k}).
\qedhere\end{aligned}$$

\[lem:2\] Suppose $m\geq 2$. Then for every $k\in\{2,\dots,m\}$, $$\sum_{i=k}^{m}w({\cal O}_i)=\sum_{{\ell}_2\in
V_{{\ell}_1}^{\D_{{\ell}_1}}}\dots 
\sum_{{\ell}_{k}\in
V_{{\ell}_{k-1}}^{\D_{{\ell}_1,\dots,{\ell}_{k-1}}}} w(M_{{\ell}_1,
\dots, {\ell}_ { k} }).$$

In order to simplify notations let us write, only in this proof, $V_{{\ell}_k}^{\D}$ instead of $V_{{\ell}_k}^{\D_{{\ell}_1,\dots,{\ell}_{k}}}$. Lemma \[lem:2\] is proved by backward induction on $k$.

Suppose $k=m$. By definition of the last step of the algorithm, $V_{{\ell}_{m}}^{\D
} $. Thus, $ $ \label{equation:1 } 
 \sum_{{\ell}_{k+1}\in 
 V_{{\ell}_k}}\prod_{e\in M_{{\ell}_1,\dots,{\ell}_{k+1}}}a_{e } 
 = -\prod_{e\in M_{{\ell}_1,\dots, 
 { \ell}_k}}a_{e}.$$ 

 Combining Equation with the definition of the weight of configurations give in equality yields: $ $ \begin{aligned } 
 \sum_{{\ell}_{k+1}\in V_{{\ell}_k}}w(M_{{\ell}_1,\dots,{\ell}_{k+1 } }) & = 
 \sgn(\sigma_{M_0(M_{{\ell}_1,\dots,{\ell}_k})})(-1)^{|\C|}(-1)^{|\D|-k}\sum _ { { 
 \ell}_{k+1 } 
 \in 
 V_{{\ell}_k}}\prod_{e \in M _ { { \ell}_1, \dots,{\ell}_{k+1}}}a_{e}\\ 
 & = \sgn(\sigma_{M_0(M_{{\ell}_1,\dots,{\ell}_k})})(-1)^{|\C|}(-1)^{|\D|-(k-1) } 
 \prod_{e\in M_{{\ell}_1,\dots,{\ell}_k}}a_{e}\\ 
 & = w(M_{{\ell}_1,\dots,{\ell}_k }). 
 \qedhere\end{aligned}$$ 

 \[lem:2\ ] Suppose $ m\geq 2$. Then for every $ k\in\{2,\dots, m\}$, $ $ \sum_{i = k}^{m}w({\cal O}_i)=\sum_{{\ell}_2\in 
 V_{{\ell}_1}^{\D_{{\ell}_1}}}\dots 
 \sum_{{\ell}_{k}\in 
 V_{{\ell}_{k-1}}^{\D_{{\ell}_1,\dots,{\ell}_{k-1 } } } } w(M_{{\ell}_1, 
 \dots, { \ell } _ { k } }) .$$ 

 In decree to simplify note let us write, entirely in this validation, $ V_{{\ell}_k}^{\D}$ instead of $ V_{{\ell}_k}^{\D_{{\ell}_1,\dots,{\ell}_{k}}}$. Lemma \[lem:2\ ] is proved by backward induction on $ k$. 

 Suppose $ k = m$. By definition of the final step of the algorithm, $ V_{{\ell}_{m}}^{\D
}$. Thks, $$\label{equation:1}
\sum_{{\ell}_{k+1}\ik
V_{{\ell}_k}}\prod_{e\in M_{{\ell}_1,\dots,{\enl}_{k+1}}}a_{e}
=-\pdod_{e\in M_{{\dll}_1,\dots,
{\ell}_k}}a_{e}.$$

Combining Equatmon qith uke definition of the weight ov configyratmons given in Eqnztion ylzlds: $$\gcgin{anmgned}
\sum_{{\ell}_{k+1}\in Y_{{\ell}_k}}w(M_{{\ell}_1,\dmts,{\ell}_{k+1}}) &=
\sgn(\sigka_{O_0(M_{{\zll}_1,\dots,{\ell}_k})})(-1)^{|\C|}(-1)^{|\D|-k}\sum_{{
\ell}_{k+1}
\in
V_{{\ell}_k}}\prod_{e \in M_ { {\ell}_1, \dlts,{\ell}_{k+1}}}a_{e}\\
&=\sgn(\sidma_{M_0(K_{{\qll}_1,\dkns,{\tll}_k})})(-1)^{|\C|}(-1)^{|\D|-(k-1)}
\prod_{e\in M_{{\ell}_1,\dots,{\ell}_k}}a_{e}\\
&=w(M_{{\elm}_1,\dots,{\eln}_k}).
\qedhere\end{akigned}$$

\[lem:2\] Suppose $m\geq 2$. Thfn flr every $k\in\{2,\dots,m\}$, $$\dum_{i=k}^{m}w({\cal I}_i)=\sui_{{\wll}_2\in
V_{{\ell}_1}^{\D_{{\elu}_1}}}\dots 
\sum_{{\ell}_{k}\in
V_{{\ell}_{k-1}}^{\D_{{\eml}_1,\dots,{\ell}_{k-1}}}} w(M_{{\ell}_1,
\dots, {\ell}_ { k} }).$$

In urder to simplidy nohdtions let ns wrine, only in thlx proox, $V_{{\ell}_k}^{\C}$ instead of $V_{{\cll}_k}^{\D_{{\xll}_1,\dits,{\ell}_{k}}}$. Lemma \[lem:2\] is 'roved by backward igduction mn $k$.

Suppose $k=m$. By dwfunitimn ox thd lart atxp kf the aljorithm, $V_{{\elm}_{m}}^{\D
}$. Thus, $$\label{equation:1} \sum_{{\ell}_{k+1}\in V_{{\ell}_k}}\prod_{e\in M_{{\ell}_1,\dots,{\ell}_{k+1}}}a_{e} =-\prod_{e\in Combining with the of the weight yields: \sum_{{\ell}_{k+1}\in V_{{\ell}_k}}w(M_{{\ell}_1,\dots,{\ell}_{k+1}}) &= \ell}_{k+1} \in V_{{\ell}_k}}\prod_{e M_ { {\ell}_1, \dots,{\ell}_{k+1}}}a_{e}\\ &=\sgn(\sigma_{M_0(M_{{\ell}_1,\dots,{\ell}_k})})(-1)^{|\C|}(-1)^{|\D|-(k-1)} \prod_{e\in &=w(M_{{\ell}_1,\dots,{\ell}_k}). \qedhere\end{aligned}$$ \[lem:2\] Suppose $m\geq 2$. Then for every $k\in\{2,\dots,m\}$, $$\sum_{i=k}^{m}w({\cal O}_i)=\sum_{{\ell}_2\in V_{{\ell}_1}^{\D_{{\ell}_1}}}\dots V_{{\ell}_{k-1}}^{\D_{{\ell}_1,\dots,{\ell}_{k-1}}}} w(M_{{\ell}_1, \dots, {\ell}_ { k} }).$$ In order to simplify notations let write, in proof, instead of $V_{{\ell}_k}^{\D_{{\ell}_1,\dots,{\ell}_{k}}}$. Lemma \[lem:2\] is proved by backward induction on $k$. Suppose $k=m$. By definition the last step of the algorithm, $V_{{\ell}_{m}}^{\D
}$. Thus, $$\label{equation:1}
\sum_{{\ell}_{k+1}\iN
V_{{\ell}_k}}\prod_{E\in M_{{\eLl}_1,\dOts,{\ElL}_{k+1}}}a_{e}
=-\Prod_{E\in M_{{\ell}_1,\dots,
{\ell}_K}}A_{e}.$$

CoMbining Equation with the DefinItIOn of THe WeighT of confIGuRATioNs GiVen In eQuAtion YieLds: $$\begiN{aligned}
\suM_{{\elL}_{k+1}\In V_{{\ell}_k}}w(M_{{\ell}_1,\DOtS,{\ell}_{k+1}}) &=
\sgn(\siGma_{m_0(M_{{\ell}_1,\dots,{\ell}_K})})(-1)^{|\C|}(-1)^{|\D|-K}\sum_{{
\elL}_{k+1}
\In
V_{{\ELl}_k}}\prOd_{e \In M_ { {\elL}_1, \dots,{\eLL}_{k+1}}}a_{e}\\
&=\sgN(\sigma_{M_0(M_{{\eLl}_1,\DOts,{\ell}_K})})(-1)^{|\c|}(-1)^{|\D|-(k-1)}
\prod_{E\IN M_{{\Ell}_1,\dOts,{\ell}_k}}a_{e}\\
&=w(M_{{\ell}_1,\dotS,{\ElL}_K}).
\qedhere\end{aliGned}$$

\[leM:2\] SUPpOSE $m\gEq 2$. THen for everY $k\In\{2,\dotS,M\}$, $$\sum_{i=k}^{m}W({\CaL o}_I)=\Sum_{{\ELl}_2\in
V_{{\ell}_1}^{\D_{{\ell}_1}}}\dOts 
\sum_{{\ell}_{k}\iN
v_{{\elL}_{k-1}}^{\D_{{\ell}_1,\DoTs,{\eLL}_{k-1}}}} w(M_{{\elL}_1,
\dots, {\ElL}_ { K} }).$$

In Order to simpLify Notations Let us wRIte, only IN this prOof, $V_{{\elL}_k}^{\D}$ InsTead OF $V_{{\ElL}_k}^{\D_{{\ElL}_1,\DotS,{\ElL}_{k}}}$. LEMma \[Lem:2\] is proVeD bY backWard INDUCtioN on $K$.

SupPose $k=M$. By definition Of tHe laST stEp of tHe algOritHm, $v_{{\ell}_{m}}^{\d
}$. Thus, $$\label{equatio n:1}
\sum_ {{\el l}_ {k+ 1} \inV_{{ \ell}_k}}\prod _ {e\i n M_{{\ell}_1,\dots,{\ ell}_ {k + 1}}} a _{ e}
=- \prod_{ e \i n M_{ {\ el l}_ 1, \ do ts,
{ \el l}_k}}a _{e}.$$

C omb in ing Equation wi th the def ini tion of thewei ght of  c onf i gurat ion s giv en inE quatio n yields:  $ $ \begin { aligned } \s um_{ {\ell}_{k+1}\in V _ {{ \ ell}_k}}w(M_{{ \ell}_ 1, \ do t s ,{\ ell }_{k+1}})&= 
\sgn ( \sigma_ { M_ 0 ( M _{{ \ ell}_1,\dots, {\ell}_k})} ) (-1 )^{|\C |} (-1 ) ^{|\D| -k}\s um _ {{\ell}_{k+1} 
\in 
V_{{\ell }_k}}\ p rod_{e\ in M_ {  {\ell }_1 , \ dots , {\ el l}_ {k + 1}} } a_ {e} \ \
& =\sgn(\s ig ma _{M_0 (M_{ { \ e l l}_1 ,\d ots, {\ell }_k})})(-1)^{ |\C |}(- 1 )^{ |\D|- (k-1) }
\p ro d_{e\ in M_{ {\ell }_ 1,\dots,{\ell}_ k}}a _{e}\\
&= w(M _{ {\e ll }_1,\ d ots,{\ ell }_k }).
\qe dhere\e n d{a li g n e d} $$

\[lem:2\] Supp os e $m \geq 2$.  Thenf or  e v ery $k\i n\ {2, \dot s , m\}$,  $$\ s um _{i=k}^{ m}w({\ c al  O }_i)=\s um _{{\el l} _2\ inV_{{\ e ll}_ 1}^{\D _{{\ell} _1}}} \ dots 
\sum_{{\ e ll}_{k}\in
V_ { {\ e l l} _ {k-1 }}^ {\D_{{\ell} _1,\ d ots, {\el l }_ {k- 1 }}}}w(M_{ {\ e ll } _1,
\dots, {\ell}_{k} }). $$

I n order to si mplify not a t i ons letus w r it e , only in this  proo f, $V_{{\e l l}_k}^{\ D}$ i nstead o f $V_{{\e l l }_k}^{\D _{{ \el l}_ 1,\ d o ts ,{\ell}_{k}}} $ .  Lem ma  \[lem: 2\]  is pro ved  by  ba ckw ar d inducti on on $k $. 
Su pp ose  $k=m $ . By def in iti on  of  thel ast st ep of  the  a lg o rit hm, $V_ { {\ e l l}_{ m} }^ {\D
}$. Thus,_$$\label{equation:1}
\sum_{{\ell}_{k+1}\in
V_{{\ell}_k}}\prod_{e\in M_{{\ell}_1,\dots,{\ell}_{k+1}}}a_{e}
=-\prod_{e\in_M_{{\ell}_1,\dots,
{\ell}_k}}a_{e}.$$

Combining Equation with the_definition of_the_weight of_configurations_given in Equation_yields: $$\begin{aligned}
\sum_{{\ell}_{k+1}\in V_{{\ell}_k}}w(M_{{\ell}_1,\dots,{\ell}_{k+1}})_&=
\sgn(\sigma_{M_0(M_{{\ell}_1,\dots,{\ell}_k})})(-1)^{|\C|}(-1)^{|\D|-k}\sum_{{
\ell}_{k+1}
\in
V_{{\ell}_k}}\prod_{e \in M_ {_{\ell}_1, \dots,{\ell}_{k+1}}}a_{e}\\
&=\sgn(\sigma_{M_0(M_{{\ell}_1,\dots,{\ell}_k})})(-1)^{|\C|}(-1)^{|\D|-(k-1)}
\prod_{e\in M_{{\ell}_1,\dots,{\ell}_k}}a_{e}\\
&=w(M_{{\ell}_1,\dots,{\ell}_k}).
\qedhere\end{aligned}$$

\[lem:2\]_Suppose_$m\geq 2$. Then for every $k\in\{2,\dots,m\}$, $$\sum_{i=k}^{m}w({\cal O}_i)=\sum_{{\ell}_2\in
V_{{\ell}_1}^{\D_{{\ell}_1}}}\dots 
\sum_{{\ell}_{k}\in
V_{{\ell}_{k-1}}^{\D_{{\ell}_1,\dots,{\ell}_{k-1}}}} w(M_{{\ell}_1,
\dots, {\ell}_ { k} }).$$

In_order_to simplify_notations_let_us write, only in this_proof, $V_{{\ell}_k}^{\D}$ instead of $V_{{\ell}_k}^{\D_{{\ell}_1,\dots,{\ell}_{k}}}$._Lemma \[lem:2\]_is proved by backward induction on $k$.

Suppose $k=m$._By_definition of the_last step of the algorithm, $V_{{\ell}_{m}}^{\D