Wo benutzt du v≠0 ?
Ich würde ganz klassisch vorgehen:
Sei v=λ_1b_1+...+λ_nb_n mit b_i=0 .
Und seien x,y ∈ K mit x*v + y*bi = 0
==> x*λ_1b_1+...y*b_i+...+x*λ_nb_n = 0
Da b1,...,bn eine Basis bilden, sind sie
lin. unabh., also
x*λ_1=0 und ... und y=0 ... und x*λ_n=0
Also jedenfalls y=0. Und da v≠0 ist, gibt es
ein j ∈ {1,...n} \ {i} mit λ_j≠0.
Wegen x*λ_j = 0 gilt also auch x=0.
Also folgt aus x*v + y*bi = 0 auf diese
Weise x=y=0. Also v und bi lin. unabh.