同時対角化の定理
互いに可換である行列は、これらを同時に対角化するユニタリ変換$ Dが存在する。
証明