} {S}_{\sigma}(i) G_{\sigma}(i,j) {S}_{\sigma}(j) > 0.$$ For $\sigma$ element of the finite set of excluded values, one shows that (\[signe0\]) is still true exactly as we did it for (\[signe\]) in Step 0.  We conclude that for every $\sigma>