Dirichlet unit theorem