In defense of the Hohenberg–Kohn theorem and density functional theory