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

固有ベクトルが空間の基底をなすとき、またそのときに限り対角化が可能である。