Let me add: I am not aware of a proof that the exact exchangecorrelation-functional exists, beyond the noted algorithm which requires to solve the many-body Schrödinger equation. However, and most importantly, the works by Hohenberg and Kohn and Kohn and Sham have shown the way to develop densityfunctional approximations which revolutionized the description and understanding of poly-atomic systems.