Proof.
Let

be the characteristic polynomial of

; by hypothesis,

has a root

, which means that

. Since

is not degenerate, it has a decomposition in circuits. Let us suppose that

has no positive circuit.

possesses the same decompositions in circuits as

: diagonal terms of

were negative and we substracted a positive number, so if they were not 0 in

they are not 0 in

; other terms are untouched. If we apply lemma
1 to matrix

, which is degenerate but has a decomposition in circuits, we find that

has a positive circuit, and so does

. We thus arrive to a contradiction which concludes our proof.