Лемма 1. если |x| = n, |y | = m, то количество всех функций f : x → y равно mn . эквивалентное утверждение. число слов длины n в алфавите из m символов равно mn . доказательство. без потери общности можно всегда считать, что x = {1, n}, y = {1, m}. каждую функцию можно тогда отождествить с последовательностью < f (1), f (n) > =< y1, yn > . каждый член yi последовательности можно выбрать m способами, что дает mn возможностей выбора последовательности < y1, yn > .