I don’t agree, the first Hohenberg-Kohn theorem just tells us that a unique functional for the ground state total energy exists, but not how it looks like. Based on only this first theorem, we could say that the functional reaches a maximum value at the ground state density. Therefore, the second HK theorem is a separate independent theorem, because this theorem says that the functional always reaches a minimum value at the ground state density.