若线性方程组AX=B的方程的个数大于未知量的个数，则AX=B一定无解。