eのファイバーの次元kが多様体mの次元に等しいとする。