Biarkan menjadi ruang probabilitas. Dugaan:(Ω,F,P)(Ω,F,P)(\Omega, \mathscr F, \mathbb P) Misalkan kita memiliki acara st , atau . Terdapat rangkaian acara yang independen 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},...