HK 1st theorem tells us that every system will have unique density.
HK 2nd theorem tells us that we can calculate the total energy of the system if we know the functional form of energy.
So, 2nd theorem is not a natural consequence of the 1st theorem.
.
