The first theorem guarantees the existence of this functional. It says we can find the energy corresponding to a certain density for the system. Knowing that the ground state has the lowest energy, all other states (densities) will have a higher energy.
The first theorem guarantees the existence of the functional, the second gives a property of a specific functional (the one for the total energy), without using the first theorem.