I think that the second theorem is not a natural consequence, however it uses the properties of the first theorem. The second must assume that for each total energy (external potential) there is a unique density, but it mentions the minimum total energy. The first theorem does not mention anything about that minimum relationship.