Функция f(x1, …, xn) может быть задана таблицей 1, в которой значение f(s1,…,sn) функции f на наборе (s1,…, s
,s
,…,sn) помещается на пересечении столбца, соответствующего (s1,…,sn-k), и строки, соответствующей (s
,…,sn):

| | | |
| f(s1, …, sn-k, sn-k+1, …, sn)
,
| |
| | |
|
Разобьем строки таблицы 1 на полосы A
,…,A
по S строк в полосе (последняя полоса может содержать меньшее число строк). Ясно, что
p£
+1.
Пусть f
– функция, совпадающая с f на полюсе A
и равная 0 вне этой полосы. Очевидно, что f(x1, …, xn) =
f
(x1, …, xn) =
=
. (6)
Заметим, что в (6) каждая из функций f
(s1,…, s
,
) задается одним столбцом таблицы для функции f
и поэтому принимает значение 1 не более чем на S наборах, так как функция f
совпадает с функцией f только на полосе A
и равна нулю вне этой полосы. Таким образом, число различных функций f
(s1,…,s
,
) (при фиксированном i) не превосходит 2
.