In search of the Hohenberg-Kohn theorem