DFT is derived from TF theory, but its rigorous theoretical proof was given by Hohenberg and Kohn in 1964. They proved that all properties ofmany-electron systems are a unique functional with electron density.

• 密度泛函理论源于TF理论，但其严格的理论证明却是由Hohenberg和Kohn于1964年提出的。