Put . Each is -measurable and integrable, with . Since a filtration is increasing, the tower property of conditional expectation gives
Thus is the conditional-expectation martingale associated with .