Dimostrazione.
Se $A$ definita positiva è congruente a $I_{n}$, allora
$\exists \, M \in GL_{n}(\mathbf{R})$, tale che $A=M^{t}I_{n}M=M^{t}M$.
c.v.d.