证明一个向量的基底所含有向量的个数是唯一的确定数