Every basis of a linear space contains the same number of vectors.

• 一线性空间的每一基底包含同样数目的向量。