Изменения

:Так как на последнем шаге <tex>\mathit{Verifier}</tex> полученным сверяет полученное от <tex>\mathit{Prover}</tex> 'а значение с непосредственно вычисленным, слово будет допущено только в том случае, когда <tex>\mathit{Prover}</tex> смог прислать верное значение, что в свою очередь возможно лишь если на одном из предыдущих шагов был верно угадан корень полинома.