=+Thus there exists a countable set of probability measures such that every u is the weak limit of some sequence from the set. The space of distribution functions is thus separable in the Levy metric (see Problem 14.5).