 Doob decomposition in discrete time

Every integrable discrete-time supermartingale has the form $V=M-A$, where $M$ is a martingale and $A$ is predictable, integrable, nondecreasing, and starts at zero.