Dimostrazione.
tale che
l'applicazione lineare
non è identicamente nulla.
Sia ora
una base di
e sia
e
; allora
non è identicamente nulla se e solo se
.
Inoltre la matrice, rispetto a
e a
, di
è
; quindi
si ha
e questo infine equivale a:
.
c.v.d.