Talk:Doob decomposition theorem