Let be a localizing sequence for . For , the optional sampling theorem gives
Both sides converge almost surely to and , and . Conditional dominated convergence therefore yields , so is a martingale. Moreover, the family is dominated by the integrable random variable , hence is uniformly integrable. Thus is a uniformly integrable martingale.