The first HK-theorem tells us that the external potential and the energy can be determined by only looking at the elctron density. However, it remains quite abstract, while the second HK-theorem concretely states that this functional will minimise the energy for the ground state density. These are, in my opinion, two completely separate theorems.