Doob%E2%80%93Meyer decomposition theorem