The Hohenberg-Kohn theorem, often thought of as the cornerstone of DFT, is easy to prove (apart from some subtleties) but perhaps not so easy to understand intuitively. Hohenberg and Kohn's original formulation of DFT is therefore not only restrictive in scope (in that it assumes v-representability) but may also appear a little mysterious.