Da X eine Basis ist, gilt für jedes a aus V, es gibt a1,...,an mit a = ∑ aixi
also für alle j   < a, xj > =  < ∑ aixi , xj >
=  (wegen der Linearität des Skalarproduktes im 1. Argument)   ∑ ai <xi ,xj >
Andererseits  x*j (a) = x*j (∑ aixi ) = (wegen Linearität der Linearformen)
=  ∑ ai * x*j ( xi ) . 
Und das stimmt nur überein , wenn X orthonormal ist.