Обсуждение:Полиномиальная иерархия/Задачи/Свойство Sigma i=PH/c000124