Рассмотрим совокупность всевозможных целочисленных функций

на множестве

первых натуральных чисел в это же множество, причем каждому значению функции соответствует только одно значение аргумента.
Построим теперь множество всевозможных функций

.
Доказать, что множество этих функций можно разбить на

множеств, и в каждом таком множестве будет содержаться

одинаковых функций, равных какой-то функции из набора

(которых соответственно тоже

)