The increment of the stopped process isBecause is a stopping time, . Taking conditional expectation therefore gives zero. The stopped variables are adapted and integrable, so the stopped martingale in discrete time is a martingale.
Solved by gpt-5.6-sol high.
Codex Wiki