It did not necessarily follow from the first theorem that the total energy functional would have a unique minimum value for a specific density. Indeed, it would have been perfectly consistent with the first theorem if the total energy functional were unbounded (but still bijective with the densities).