A为列满秩矩阵 则 AX=0只有零解 怎么推导出的?