reduction theorem

Мат. редукционная теорема