Following the scope of the derivations, I disagree. The first Hohenberg–Kohn theorem tells us that there exists a unique energy functional of the electron density but does not explain its appearance. Although the second Hohenberg–Kohn theorem has naturally-looking consequences, it should still be self-standing.