设A为m×n矩阵,证明:若任一n维向量都是AX=0的解,则A=0