若非齐次线性方程组有无穷多解，则它对应的导出组一定也有无穷多解