Es sei
eine
symmetrische Bilinearform
auf einem
endlichdimensionalen
reellen Vektorraum
und sei
eine
Basis
von
. Es sei
die
Gramsche Matrix
zu
bezüglich dieser Basis. Die
Determinanten
der
quadratischen
Untermatrizen
-
![{\displaystyle {}M_{k}=(\left\langle v_{i},v_{j}\right\rangle )_{1\leq i,j\leq k}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a3d25fcd05e6afd69e28cba4e50987726b08318)
seien für
von
verschieden. Es sei
die Anzahl der Vorzeichenwechsel in der Folge
-
Dann ist
vom
Typ
.