Sylvesters Trägheitsgesetz

Aussage zur Klassifikation reeller quadratischer Formen (bzw. reeller symmetrischer Matrizen bis auf Kongruenz): Jede reelle symmetrische Matrix ist kongruent zu einer Diagonalmatrix mit Einträgen 1, −1 und 0, und die Anzahlen positiver, negativer und nuller Diagonaleinträge (die Signatur) sind invariabel.