The idea of 1st HK theorem is that exist one-to-one correspondence between the external potential and the ground state density.
This is an existence theorem and it established that there exists a functional relating the density with any ground state property,but not what this functional looks like.
.
