设A是mxn矩阵,B是nxs矩阵,证明:线性方程组ABX=0与BX=0同解的充分必要条件是R(AB)=R(B)