Prokhorov's theorem