Hohenberg–Kohn theorem