I don’t think the 2nd theorem is the natural consequence of the 1st. The 2nd theorem introduces the variational principle on top of the 1st to practically find the true ground state density. and 1st one establishes the unique relation between the ground state density and the energy of the same state.