Doob–Meyer decomposition theorem