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: Robbe Daelman
			
			
		
			
			Started by: rashurko
			
			
		
			
			Started by: BjornDB
			
			
		
			
			Started by: SeppeLefevere
			
			
		
			
			Started by: LukasHerygers
			
			
		
			
			Started by: Leander Deleux
			
			
		
			
			Started by: DFT_user
			
			
		
			
			Started by: adbel
			
			
		
			
			Started by: Jesse
			
			
		
			
			Started by: sharif.hasan
			
			
		
			
			Started by: Gregb26
			
			
		
			
			Started by: jmayer1
			
			
		
			
			Started by: Eduardo
			
			
		
			
			Started by: robert.degille
			
			
		
			
			Started by: Samra Mahmood
			
			
		
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)
