Show that, for a K {\displaystyle {}K} -vector space V {\displaystyle {}V} with dual space V ∗ {\displaystyle {}{V}^{*}} , the evaluation mapping
is bilinear.