Doob decomposition theorem