L'insieme dei funzionali lineari { h 1, ..., h n} è una base di V*.
In particolare
dim(V*) = dim(V)
e quindi V e V* sono isomorfi.
Dimostrazione