Dimostrazione.
Se
definita positiva è congruente a
, allora
, tale che
.
c.v.d.