Изменения
→Доказательство
При <tex>n > k </tex> получим переменную <tex> x' </tex> обрезав первые <tex>n-k</tex> бит переменной <tex>x</tex>. Тогда для переменной <tex>x'</tex> существует <tex>H_{k, k}</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> бит.
