 Solution

For the converse in the characterization of a martingale by stopped expectations, fix $n\ge 0$ and $A\in {\mathcal{F}}_n$. Define the bounded stopping timeIndeed, its only nontrivial sublevel event is $\{T_A\le n\}=A^c\in {\mathcal{F}}_n$. Applying the assumed stopped-expectation equality to $T_A$ and to the deterministic stopping time $n$ givesThis holds for every $A\in {\mathcal{F}}_n$. Since $M_n$ is adapted and both variables are integrable, the defining test-event property of conditional expectation yieldsTogether with the given adaptation and integrability, this is exactly the martingale property.