证明 若AB=BA,则A B为同阶方阵