Abstract
An explicit formula is provided giving a formal derivation of the exact universal electron density functional. This abstract theorem enables the derivaton of a funcional Taylor series expansion of this density functional about a reference density. Although wave funcion methods are used in the derivation, the final quantities may be evaluated by a variety of methods including nonwave fuction many‐body methods.