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: mhsabbir
Started by: Sudeep Lamichhane
Started by: grigioperenne25
Started by: Himanshu Sharma
Started by: Henry Ezeaku
Started by: sosafi
Started by: DavideP
Started by: manori
Started by: y.mohammadi@cfu.ac.ir
Started by: FANYANG
Started by: StijnVanVooren
Started by: zakaryau1
Started by: jiehuang.fi@gmail.com
Started by: ianlesnik
Started by: Iulia ZAI
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)