Global fixed-point proof of time-dependent density-functional theory M. Ruggenthaler and R. van Leeuwen EPL, 95 1 (2011) 13001 Published online: 15 June 2011 DOI: 10.1209/0295-5075/95/13001