Lemma
Assegnata una base {ei) dello spazio vettoriale E, comunque prendiamo una n-pla di scalari (b1,b2,...,bn), è univocamente determinata la forma lineare φ tale che
In simboli:
Dimostrazione
Proviamo separatamente esistenza ed unicità. Esistenza
Presa ad arbitrio la n-pla di scalari (b1,b2,...,bn), definiamo