Zu zeigen ist für beliebiges \(i\in I\):
\(b(v_i, v)=0\; \forall v\in V\).
Da die \(v_j, \; j\in I\) eine Basis von \(V\) bilden, reicht es zu zeigen, dass
\(b(v_i,v_j)=0\) ist für \(j=1,\cdots,n\).
Für \(j\neq i\) ist das der Fall, da die \(v_1,\cdots,v_n\) paarweise orthogonal zueinander
sind (Orthogonalbasis) und \(b(v_i,v_i)=0\) gilt nach Voraussetzung.