I don’t agree, the first theorem tells nus there is a one to one relation between the energy and density but it doesn’t tell us what that relation looks like. There could be a local maximum at the ground state density, so that is why the second theorem is a different one