设A为m*n矩阵,B为n*s矩阵,若AB=O,求证:r(A)+r(B)≤n