齐次线性方程组解向量和秩的关系