Изменения

Это очевидным образом следует из определений <tex>\mathrm{BPP}V</tex> сам по себе является вероятностной машиной Тьюринга и <tex>V</tex> в поэтому может разрешить язык из <tex>\mathrm{IPBPP}</tex>; <tex>V</tex> даже не требуется общаться прибегая к общению с <tex>P</tex>.

Для разрешения языка из <tex>\mathrm{NP}</tex> будем использовать следующий протокол:<tex>V</tex> будет проверять на принадлежность слова <tex>x</tex> используя сертификат, который он запросит у <tex>P</tex>. Так как <tex>P</tex> неограничен в вычислительной мощности, он может подобрать подходящий сертификат и именно его и сообщит, так как он заинтересован в том, чтобы <tex>V</tex> принял слово. Для этого требуется лишь один раунд интерактивного протокола, что и доказывает теоремузавершает доказательство теоремы.}} {{Определение|definition=<tex>GNI</tex> расшифровывается как Graph Non Isomorphism. Это язык пар неизоморфных друг другу графов.<tex>GNI=\{ \langle G, H \rangle, </tex> графы <tex>G</tex> и <tex>H</tex> не изоморфны <tex>\}</tex>