Изменения
→Теорема
Во множестве <tex>B</tex> на каждой стадии содержится конечное число элементов, так как на каждой стадии в <tex>B</tex> может быть добавлено не более чем <tex>2^{n-1}+1</tex> слов.
Из построения получаем, что для любой машины Тьюринга <tex>M</tex> существует бесконечно много слов из <tex>U_B</tex>, для которых <tex>M</tex> не может принять верное решение о принадлежности слова <tex>U_B</tex> за время, меньшее <tex>2^{n-1}</tex>. Следовательно, <tex>U_B \not\in \mathrm{P_BP}^B</tex>.
}}
