If I understood KH1 correctly, an electron density n(r) of a system is equivalent to its many body wavefunction ,i.e, it determines all the observables of the system. The observables are then functionals of n(r). KH1 doesn’t provide an explicit prescription for those functionals O[n].
In case E_tot is the observable you are interested in ,KH2 provides explicitely a unique functional whose minimum corresponds to the ground state energy of a system.