Изменения
→Доказательство
* если <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 </tex> вероятность того, что <tex>V</tex> ошибется была бы меньше <tex>\frac{1}{3}</tex>.
Итак, '''IP'''<tex>[f(n)] \subset </tex> '''AM'''<tex>[f(n)+O(1)]</tex>. Теорема доказана.
