Global fixed-point proof of time-dependent density-functional theory