Sylvester's law of inertia (source code)

= Sylvester's law of inertia
{c}
{wiki}

Every real quadratic form is congruent to a diagonal form with entries $+1,-1,0$, and the numbers of entries of each kind are invariant.