两个同解的线性方程组所含未知量的个数一定相等.;与一个给定的线性方程组同解的方程组，有无穷多个.