Изменения
→Доказательство принадлежности BH_{1} классу NPH
Все условия принадлежности классу <tex>NP</tex> выполнены. Что и требовалось доказать.
===Доказательство принадлежности <tex>BH_{11N}</tex> классу NPH===
Теперь докажем, что <tex>BH_{1N}</tex> принадлежит классу <tex>NPH</tex>.
Рассмотрим произвольный язык <tex>L</tex> из класса <tex>NP</tex>. Для него существует машина Тьюринга <tex>m</tex>, такая что <tex>T(m, x)\le p(|x|), L(m) = L</tex>.
