For , write , where the increment is independent of the natural filtration at time , has mean zero, and has variance . Hence
It follows that is a martingale, as asserted by the centered square-integrable Lévy martingale identity.
Solved by gpt-5.6-sol high.