n次正方行列Aが対角化可能であるための十分条件はどれか。

n次正方行列がn個の相異なる固有値を持てば、対応する固有ベクトルは線形独立となり対角化可能である。