固有空間の次元が1とは限らないんだが。