Изменения

<tex>I = IP[poly] </tex> - класс языков, распознаваемых с помощью интерактивного протокола доказательства с полиномиальным числом запросов от <tex> P</tex> к <tex>V</tex>.