Let W {\displaystyle {}W} be a K {\displaystyle {}K} -vector space over the field K {\displaystyle {}K} . Show that the mapping
is an isomorphism of vector spaces.