Soient un hyperplan de non isotrope et un vecteur non nul appartenant à .

Comme est non isotrope et de dimension finie, on a et est de dimension 1.

Par conséquent tout vecteur non nul de détermine une base de .

On a donc :

.

De plus, comme est non dégénérée, on a , donc :

.