Dimostrazione.
Che il diagramma sia commutativo discende dalle definizioni. Inoltre È facile vedere che tutte queste biezioni fra $K$-spazi lineari sono anche isomorfismi.
c.v.d.