Seja um espaço de probabilidade. Conjetura:(Ω,F,P)(Ω,F,P)(\Omega, \mathscr F, \mathbb P) Suponha que tenhamos os eventos st , ou . Existe uma sequência independente 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},...