Изменения

Пусть язык <tex>L \in ZPP</tex>, тогда для него существует [[Вероятностная машина Тьюринга|вероятностная машина Тьюринга]] <tex>mm_1</tex> такая, что <tex>E(T(mm_1(x))) \le p(|x|)</tex>, где <tex>p \in poly</tex>.

Следовательно Сделаем машину <tex>m_2</tex>, которая будет запускать <tex>m_1</tex> на <tex>T(m(x)) \le 2*p(|x|)</tex> шагов, если <tex>m_1</tex> не завершила свою работу, то <tex>m_2</tex> выдаст 'не знаю', в противном случаи вернет результат работы <tex>m_1</tex>.  Значит, <tex>L \in ZPP^{'}</tex>.