Dimostrazione.
Che il diagramma sia commutativo discende dalle definizioni. Inoltre
è biettiva perché restrizione della biezione
a
e ha come codominio
è biettiva per costruzione e perché
individua univocamente la relativa forma
.
è biettiva, infatti sia
, allora
matrice
tale che
, cioè
è biettiva perché composizione di biezioni:
.
È facile vedere che tutte queste biezioni fra
-spazi lineari sono anche isomorfismi.
c.v.d.