theorem :: VECTSP13:30

for F being Field
for U being finite-dimensional VectSp of F holds U,F ^* (dim U) are_isomorphic