Yes I think I agree that the second HK theorem follows from the first one if we use the variational principle. If, by the first theorem, we can assign a unique energy functional of the density to any system with some external potential, then by the variational principle, it follows that this energy is minimized by the ground state density.