Suppose v1,…,vnv_1,\dots,v_nv1,…,vn is a basis of VVV. Prove that the map T:V→Fn,1T : V \to \mathbf F^{n,1}T:V→Fn,1 defined by
is an isomorphism of VVV onto Fn,1\mathbf F^{n,1}Fn,1; here M(v)\mathcal M(v)M(v) is the matrix of v∈Vv \in Vv∈V with respect to the basis v1,…,vnv_1,\dots,v_nv1,…,vn.
TODO