элиминационная теорема

Мат. elimination theorem