Ley de Inercia de Sylvester

Afirmación de clasificación para formas cuadráticas reales (o matrices simétricas reales hasta congruencia): toda matriz simétrica real es congruente a una diagonal con entradas 1, −1 y 0, y los números de entradas positivas, negativas y nulas (la firma) son invariantes independientes de la matriz representante elegida.