Изменения
→Доказательство
При <tex>n=k</tex> существование <tex>H_{n, k}</tex> следует из леммы.
При <tex>n > k </tex> получим переменную <tex> x' </tex> обрезав первые <tex>n-k</tex> бит переменной <tex>x</tex>. Тогда для переменной <tex>x'</tex> существует <tex>H_{nk, nk}</tex>, а для <tex>x</tex> - соответственно <tex>H_{n, k}</tex>.
При <tex>n < k </tex> получим <tex>H_{k, k}</tex>. <tex>H_{n, k}</tex> можно получить, обрезав значение хеш-функции из <tex>H_{k, k}</tex>, на первые <tex>n-k</tex> бит.
