Thomas-Fermi approximation to electronic density

In heavy atoms and molecules, on the distances $a \gg Z^{-1}$ from all of the nuclei (with a charge $Z_m$) we prove that $\rho_\Psi (x)$ is approximated in $L^p$-norm, by the Thomas-Fermi density.