I mostly agree because first theorem proves the one to one relation between wavefunction and density, and considering the variational principle for the wavefunctions. One should expected a kind of variational principle for the density. However, this should be proven.