One can guess that once there is an equivalence between wave function and the density, the energy should be minimised in both cases just by definition. Maybe the second theorem tell something more about the mathematical property of this functional, namely the one of having one minimum in correspondence of the ground state density, corresponding to the actual energy of the ground state.