假设矩阵A中存在一个元素a(i,j)=a≠0,那么可以存在一个n维向量τ,τ(j)=b≠0有Ax=ab≠0.这与对于任一个n维向量,都是Ax=0的解矛盾。所以假设不成立。则A=0
因为r(a)=r所以ax=0的基础解系含n-r个解向量.对ax=0的任一个解向量,都可由它的任意n-r个线性无关的解向量线性表示(否则这n-r+1个解线性无关,与a的基础解系含n-r个向量矛盾)所以它的任意n-r个线性无关的解向量线性表示