各formula_7に対し、formula_5の値域を、formula_9個の区間で、その内のformula_10個が長さformula_11を持つようなものに区分する。