Kummer_theory loading ...