The second HK theorem is not an obvious consequence of the first as the energy functional that is shown to exist in the first HK theorem is not necessarily shown to minimise the energy at the true ground state density.