Prokhorov's theorem; in particular its special case, Helly's selection theorem.
No download links available.