Sei v∈V. Dann gibt es eine eindeutige Darstellung mit der Basis
also genau ein \(  (a_1,\dots,a_n ) \in R^n \) mit  \(  v=\sum \limits_{i=1}^{n} a_ib_{i} \)
\( \varphi(v)=\sum \limits_{k=1}^{n} b_{k}^{*}(v) b_{k} =\sum \limits_{k=1}^{n} b_{k}^{*}(\sum \limits_{i=1}^{n} a_ib_{i}) b_{k}  \)
Wegen der Linearität der bk* also
\(  =\sum \limits_{k=1}^{n} (\sum \limits_{i=1}^{n} a_ib_{k}^{*}(b_{i}) b_{k}  \) Und wegen \(  b_{k}^{*}(b_{i})= \delta_{k,i} \) bleibt
\(  = \sum \limits_{i=1}^{n} a_ib_{i} = v \) .
Also für alle \( v \in V \text{ gilt } \varphi(v)= v \).  Damit gilt \(  \varphi(v)= id_V \).