Изменения
→Доказательство
* если <tex>|S|>2^{k-1}</tex>, то <tex>V</tex> примет слово с вероятностью, большей, чем <tex>\frac{3}{4}p</tex>, так как с дальнейшим возрастанием мощности <tex>|S|</tex> вероятность того, что <tex>V</tex> примет слово только возрастет.
Теперь, выберем <tex>K</tex>: <tex>K = \frac{1}{3}2^{P(|x|)}</tex>.
Запустим построенный протокол доказательства некоторое константное количество раз для того, чтобы повысить точность, а именно добиться того, чтобы было: в случае, когда <tex>x \notin L \Rightarrow P(</tex> вероятность того, что <tex>V(x) = [x \in L]) < tex> ошибется была бы меньше <tex>\frac{1}{3}p</tex>.
Итак, '''IP'''<tex>[f(n)] \subset </tex> '''AM'''<tex>[f(n)+O(1)]</tex>. Теорема доказана.
