Title: Energy Density Functional Theory of Many-Electron Systems