Sea un espacio de probabilidad. Conjetura:(Ω,F,P)(Ω,F,P)(\Omega, \mathscr F, \mathbb P) Supongamos que tenemos eventos st , o . Existe una secuencia independiente de eventos stA1,A2,...A1,A2,...A_1, A_2, ...∀ A∈⋂nσ(An,An+1,...)∀ A∈⋂nσ(An,An+1,...)\forall \ A \in \bigcap_n \sigma(A_n, A_{n+1},...