This theorem identifies a finite-dimensional [vector space](/page/Vector%20Space) with its double dual by evaluation on linear functionals. It explains why, in finite dimensions, passing to the dual twice recovers the original vector space in a canonical way.