展开 怎么证明空间向量基本定理的唯一性