線形変換(行列)が対角化可能となる条件