Entonces existe una medida de probabilidad única\P en(S,S) que satisface\[ \P\left(\prod_{i=1}^\infty A_i\right) = \prod_{i=1}^\infty \P_i(A_i), \quad \prod_{i=1}^\infty A_i \in ...Entonces existe una medida de probabilidad única\P en(S,S) que satisface\P(∞∏i=1Ai)=∞∏i=1\Pi(Ai),∞∏i=1Ai∈B SiXi:S→Si es la función de coordenadai th onS fori∈\N+, de modo queXi(\bsx)=xi for\bsx=(x1,x2,…)∈S, entonces(X1,X2,…) es una secuencia de variables aleatorias independientes on(S,S,\P),…
