任意一个n维向量都是n元齐次线性方程组AX=0的解向量证明A=0