 Hohenberg-Kohn theorem

Ground-state density-potential uniqueness and a density variational principle for electrons with fixed interaction. The elementary uniqueness proof assumes nondegenerate ground states and fixes the potential only up to a constant.