Global fixed-point proof of time-dependent density-functional theoryM. Ruggenthaler and R. van LeeuwenEPL, 95 1 (2011) 13001DOI: https://doi.org/10.1209/0295-5075/95/13001