Изменения
→Доказательство
:<tex>T(M', \langle m, x, t \rangle) ~=~ O(2^{p_1(t)}) + O(p_2(|\langle m, x, 1^t \rangle|)) = O(2^{poly(|\langle m, x, t \rangle|)})</tex>
Полученное равенство означает, что <tex>\text{BH}_{2N} \in \text{EXP}</tex>, откуда в силу [[Классы_EXP,_NEXP._Полнота_языков_EXP_и_NEXP#Полнота класса NEXP|NEXP-полноты]] языка <tex>\text{BH}_{2N}</tex> вытекает включение <tex>\text{NEXP} \subset \text{EXP}</tex>. Поскольку обратное включение <tex>\left(\text{NEXP} \supset \text{EXP}\right)</tex> тривиально, то это и означает, что <tex>\text{EXP=NEXP}</tex>
