Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Hohenberg–Kohn theorem | Statement: [density functional theory, hasTheorem, Hohenberg–Kohn theorem]

Target entity: Hohenberg–Kohn theorem
Context triple: [density functional theory, hasTheorem, Hohenberg–Kohn theorem]

• A. Feynman–Hellmann theorem
  The Feynman–Hellmann theorem is a result in quantum mechanics that relates the derivative of an energy eigenvalue with respect to a parameter in the Hamiltonian to the expectation value of the corresponding derivative of the Hamiltonian.
• B. Bogoliubov–Parasyuk theorem
  The Bogoliubov–Parasyuk theorem is a fundamental result in quantum field theory that rigorously establishes a systematic procedure for renormalizing divergent Feynman diagrams.
• C. Gell-Mann–Low theorem
  The Gell-Mann–Low theorem is a fundamental result in quantum field theory that rigorously connects interacting quantum fields to free fields via the adiabatic switching-on of interactions, underpinning the use of perturbation theory and the Dyson series.
• D. Hartree–Fock method
  The Hartree–Fock method is an approximate quantum mechanical approach for determining the electronic structure of atoms, molecules, and solids by modeling electrons as occupying self-consistent single-particle orbitals.
• E. Born–Oppenheimer approximation
  The Born–Oppenheimer approximation is a fundamental method in molecular quantum mechanics that simplifies calculations by treating nuclear motion as much slower than electronic motion, allowing their behaviors to be separated.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Hohenberg–Kohn theorem
Triple: [density functional theory, hasTheorem, Hohenberg–Kohn theorem]

The Hohenberg–Kohn theorem is a foundational result in quantum mechanics that establishes the ground-state electron density as the central quantity determining all properties of a many-electron system, forming the basis of density functional theory.

Target entity: Hohenberg–Kohn theorem
Target entity description: The Hohenberg–Kohn theorem is a foundational result in quantum mechanics that establishes the ground-state electron density as the central quantity determining all properties of a many-electron system, forming the basis of density functional theory.

• A. Feynman–Hellmann theorem
  The Feynman–Hellmann theorem is a result in quantum mechanics that relates the derivative of an energy eigenvalue with respect to a parameter in the Hamiltonian to the expectation value of the corresponding derivative of the Hamiltonian.
• B. Bogoliubov–Parasyuk theorem
  The Bogoliubov–Parasyuk theorem is a fundamental result in quantum field theory that rigorously establishes a systematic procedure for renormalizing divergent Feynman diagrams.
• C. Gell-Mann–Low theorem
  The Gell-Mann–Low theorem is a fundamental result in quantum field theory that rigorously connects interacting quantum fields to free fields via the adiabatic switching-on of interactions, underpinning the use of perturbation theory and the Dyson series.
• D. Hartree–Fock method
  The Hartree–Fock method is an approximate quantum mechanical approach for determining the electronic structure of atoms, molecules, and solids by modeling electrons as occupying self-consistent single-particle orbitals.
• E. Born–Oppenheimer approximation
  The Born–Oppenheimer approximation is a fundamental method in molecular quantum mechanics that simplifies calculations by treating nuclear motion as much slower than electronic motion, allowing their behaviors to be separated.
• F. None of above. chosen