The first theorem only deals with the relationship between external potentials, wavefunctions, and densities. While it is true that the energy functional can be applied to a particular density function to find the energy of a particular state, the statement of the second Hohenberg-Kohn theorem warrants its distinction from the first.