Redirecting to Dirichlet's unit theorem