Изменения
→Доказательство
<tex>2)ZPP \subset ZPP^{'}</tex>
Пусть язык <tex>L \in ZPP</tex>, тогда для него существует [[Вероятностная машина Тьюринга|вероятностная машина Тьюринга]] <tex>m</tex> такая, что <tex>E(T(m(x))) \le p(|x|)</tex>, где <tex>p \in poly</tex>.
Следовательно <tex>T(m(x)) \le 2*p(|x|)</tex>. Значит, <tex>L \in ZPP^{'}</tex>.
