设A为m*n矩阵,为什么n元齐次线性方程组Ax=0有非零解的充要条件是r(A)