The first Hohenberg-Kohn theorem defines the relation between 2 sets namely the ground state electron density and the external potential, it does not however speak about magnitudes. The second theorem however does specify a limit to the value the energy and thus in turn the potential can take, namely it has to be minimum.