 The stochastic process would simply be the canonical process formula_74, defined on formula_75 with probability measure formula_76.The reason that the original statement of the theorem does not mention inner regularity of the measures formula_77 is that this would automatically follow, since Borel probability measures on Polish spaces are automatically Radon.This theorem has many far-reaching consequences; for example it can be used to prove the existence of the following, among others