2つの対角行列の積は対角行列であることを示せ。