设A(r行n列),B(n-r行,n列)都是行满秩矩阵,且有关系AB^T=0,证明B^T的列向量构成Ax=0的一个基础解系