>>627
v1,…,vnが一次独立という前提のもとで、
c1a1+c2a2+・・・+cnan=0　なら c1=c2=・・・=cn=0　である、　が示されている。

これ以外に何が必要なのかね？