A是对角矩阵,证明与A可交换的矩阵也为对角矩阵