不用向量空间的概念,怎么证明同解的两个线性方程组系数矩阵的秩相等?