Sylvester's law of inertia

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.