Dirichlet's_unit_theorem loading ...