Main theorem of elimination theory (source code)

= Main theorem of elimination theory
{wiki=Main_theorem_of_elimination_theory}