Not surprisingly, after the first follows the second Hohenberg-Kohn theorem:
Someone tells you: “To me it looks like the 2nd theorem is a natural consequence of the 1st one, and not a separate independent theorem.” Do you agree? Explain the arguments you have to support your opinion in this forum:
Started by: timothe.rhein
Started by: JonasJaeger
Started by: Nikol
Started by: Jaroslav_Martynov
Started by: ellen
Started by: Olivier N
Started by: Zeno
Started by: KobeVD
Started by: Tomas Verbist
Started by: sarae_02
Started by: Yarno Omblets
Started by: Simon Van Looveren
Started by: Tuur.B
Started by: Robbe Daelman
Started by: rashurko
If you want to dig deeper (now or later), you may study this pedagogical lecture by Mel Levy on (mainly) the Hohenberg-Kohn theorems (part of the CECAM school on Teaching the Theory in DFT):
expected time: 20m
report time spent (page code AW03B)