A,B为同阶可逆矩阵,证明AB=BA