It actually is the case that formula_13 and one sees that sumsetting formula_14 once again yields a more populous set, namely all of formula_15.
Если formula_12 полагают formula_13, аналогично formula_14 и т. д.Если formula_15, то formula_6 называется базисом formula_7-того порядка.