relativized theorem

Мат. релятивизированная теорема