（武汉大学，2014 年；南开大学，2008 年）设 $V$ 是数域 $K$ 上的 $n$ 维线性空间， $f(\boldsymbol{\alpha}, \boldsymbol{\beta})$ 是 $V$ 上的非退化双线性函数．证明：对任何 $g \in V^*$ ，存在唯一的 $\boldsymbol{\alpha} \in V$ ，使得
$$
g(\boldsymbol{\beta})=f(\boldsymbol{\alpha}, \boldsymbol{\beta}), \quad \forall \boldsymbol{\beta} \in V .
$$