当时，线性方程组必有解.;当线性方程组有解时，一定有