Let (\Omega,F,\mathbf{P}) be a probability space and let X be a random variable in L^1. Let (F_k)_{k \in \mathbf{N}} be any decreasing sequence of sub-sigma algebras of F, and define F_\infty to be the intersection. Then
