线代的题:n维向量空间中有n个向量是线性无关的 详见补充