线性方程组AX=0只有零解,则AX=B就有唯一解