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