线性代数:设A为m×p矩阵,B为s×n矩阵,证明: