Bewijs
Stel dat
en
congruente
-matrices zijn over een lichaam/veld
. Kies als basis de eenheidsvectoren
in
en definieer de bilineaire vorm
door:

Dan is voor 

De vectoren
vormen ook een basis en voor de bilineaire vorm met:

geldt:

dus
.
Stel omgekeerd dat de matrices
en
beide de
bilineaire vorm
representeren. Dan zijn er bases
en
, zodat:

waarin
de getallenrijtjes zijn van de coördinaten van
en
ten opzichte van de bases
en
, en
de matrix van de basistransformatie is. Kennelijk is:
,
dus zijn
en
congruent.