行列formula_17が「異なる」実固有値を持つ場合には、対角化可能である。