Sei nun und Basis von .
Sei symmetrische Bilinearform.
Sei eine symmetrische Matrix. Dann definiert
Sei eine weitere Basis von , und sei symmetrische Bilinearform auf mit Matrizen und Es sei ferner die Matrix des Basiswechsels von nach , das heißt