Изменения
→Доказательство
Рассмотрим функцию <tex> h_{a, b} = (ax+b)\ mod\ p</tex> в поле <tex> \mathbb{F}_{2^n}</tex> для простого <tex>p \in [2^n; 2^{n+1}]</tex>, любых <tex>a, b \in N</tex>, <tex>a \ne 0</tex>
Для <tex>r=(ax_1+b)\ mod\ p</tex> и <tex>r=(ax_2+b)\ mod\ p</tex>, где <tex>x_1 \ne x_2 </tex> имеем:
<tex> P(h(x_1)=y_1 \land h(x_2)=y_2)=P(r\ mod\ 2^n = y_1 \land s\ mod\ 2^n = y_2)</tex> где <tex>r \ne s </tex>.
