Комментарии — Полиномиальная иерархия/Задачи/PH \subseteq PSPACE