where W k,p denotes a Sobolev space in the usual way. We will prove that the correction term ∆E XC AB exists by resorting to the Hohenberg-Kohn (HK) theorem. From a direct application of the HK theorem, we know that the interaction energy in Equation 3 can be written in any case as the following functional: