複素数係数の行列なら、固有値一つあたり一つの線形独立な ”広義固有空間の基底ベクトル” が存在する