hierarchy theorem

Мат. теорема об иерархии