I do not agree, The first theorem doesn’t say anything about how the energies compare to each other. Within the first theorem the ground state energy could be higher than any other as long as for every Vext there is a unique wavefunction and a unique density. So the second theorem dictates that whatever energy you find for the ground state density should be the lowest.