Изменения
→Свойства
|statement = <tex>\mathrm{PCP}[poly(n), 0]</tex> = <tex>\mathrm{coRP}</tex>.
|proof =
Очевидно следует из [[Вероятностные вычисления. Вероятностная машина ТьюрингаКлассы RP и coRP#Вероятностные сложностные классыОпределения|определения coRP]].
}}
{{Теорема
