second Hohenberg-Kohn theorem

I partially agree. The first theorem tells us that the ground state electron density determines the external potential, so the energy can be written as a functional of the density. However, this does not tell us which density is the correct one. The second theorem adds the principle: the correct ground state density is the one that gives the minimum energy.