Изменения
→Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Pi_i
== Теорема о коллапсе полиномиальной иерархии при совпадении <tex>\Sigma_i</tex> и <tex>\Pi_i</tex> ==
{{Теорема
|statement = Если существует <tex>i > 0 \colon \Sigma_i = \Pi_i</tex>, то <tex>\Sigma_i = PH</tex>.
|proof =
Для доказательства теоремы достаточно показать, что <tex>\Sigma_i = \Sigma_{i+1}</tex>. Тогда по предыдущей теореме <tex>\Sigma_i = PH</tex>.<br/>
