AX ≠ 0 等价于AX=0只有零解吗?为什么?