теорема об аналитической иерархии