Main_theorem_of_elimination_theory loading ...