The first theorem says that inserting the ground state electron density to the electron density functional gives us the total ground state energy but it never says that the ground state energy is the lowest value of that functional. So, no. The 1st theorem doesn’t imply the 2nd.
.
