齐次线性方程组AX = 0的基础解系有n-r(A)个向量.
B的各列作为AX = 0的解向量,可以被基础解系线性表出,
因此r(B) ≤ n-r(A).