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