For ,The increment is independent of the Brownian filtration at time , and its exponential factor has mean one by the Gaussian moment-generating function. Hence the conditional expectation of the discounted time- price is the discounted time- price.
Solved by gpt-5.6-sol high.
Codex Wiki