！根据定理，Ax=0的解向量的极大无关组所含的向量个数是n-r(A)。B的每一组列向量都是齐次方程组Ax=0的解，所以B的列向量组在Ax=0的所有解的一部分，因而B的列向量组的极大无关组所含的向量个数r(B)不超过所有解所含的向量个数n-r(A)。
