Laisser ( Ω , F, P )(Ω,F,P)(\Omega, \mathscr F, \mathbb P)être un espace de probabilité. Conjecture: Supposons que nous ayons les événements st , ou . Il existe une séquence indépendante d'événements stUNE1,UNE2, . . .A1,A2,...A_1, A_2, ...∀ A ∈ ⋂nσ(UNEn,UNEn + 1, . . . )∀ A∈⋂nσ(An,An+1,...)\forall...