Within this context I don’t think this statement is true. From the first statement we know there is a bijection between the external potential and the ground state density, but there is no statement that this same density will minimize the energy. That is where the second theorem comes into play.
.
