习题 24, § 7

设$E$为有限维$n > 1$之向量空间除以交换域$K$；表明，除非$n = 2$和$K$是域和两个元素，不存在$E$的同构$\phi$到$E^*$，仅取决于向量空间结构 $E$。 （注，如果$\phi$是这样的同构，那么对于$E$中的$x, y$，以及对于$E$的每个自同构$u$，必然有$\langle x, \phi(y) \rangle = \langle u(x), \phi(u(y)) \rangle$（集合理论，IV, § 1, no. 5）。）