Rigorous proof of the Strutinsky energy theorem and foundations of nuclear density functional theory

We have derived a rigorous theoretical proof of the Strutinsky energy theorem. This proof not only provides a proper interpretation of the shell-correction decomposition, resolving decades of confusion, but also lays a foundation for constructing nuclear density functionals.