Hohenberg-Kohn theorem