Since the wave function and the density function has a one-to-one relationship,
and according to the variational principle, wave functions other than the ground state wave function has an energy expectation value higher than the ground state energy,
I think that the 2nd theorem is a natural consequence of the 1st theorem