 The term "Prokhorov’s theorem" is also applied to later generalizations to either the direct or the inverse statements.Let formula_1 be a separable metric space.Let formula_2 denote the collection of all probability measures defined on formula_3 (with its Borel σ-algebra).