一般型の多様体xは最大の小平次元を持つ(小平次元は多様体の次元に等しい)。