Main_theorem_of_invariant_theory loading ...