VをdimV=nの線形空間とし,
Vからn個の一次独立なベクトルを取ることができたとする。
それらをv_1‥v_nとするとき
span(v_1…v_n)=V

はいえますかね(´・ω・`)