The first theorem states only that the external potential and the ground state density are bijective. This alone is not sufficient to prove the second theorem, which is instead a consequence of the ground state density being the state that minimizes the energy of the system given the external potential. Changing the density from the ground state must then increase the energy.