La existencia de una base de formula_24 en la que dicha matriz diagonalice de tal forma la asegura la Ley de inercia de Sylvester.