The dual space to the dual space of a vector space is canonically isomorphic to the vector space