证明两个对角矩阵之积是对角矩阵——显式计算。