Soit un
-espace vectoriel de dimension finie , et une forme quadratique sur .
Alors, avec le rang de , il existe formes linéaires indépendantes sur , ,..., tels que
.
Démonstration:Il s'agit simplement d'opérations sur les lignes et les colonnes; voir la méthode de Gauss, .