Solution (source code)

= Solution

For every replicable claim $\xi=h\cdot P_1$,
$$
\mathbb E[(X-Y)\xi]
=h\cdot\mathbb E[(X-Y)P_1]=0.
$$
Completeness makes every bounded claim replicable. Taking increasing bounded truncations of $\operatorname{sgn}(X-Y)$, or using the finite-atom conclusion of part b directly, gives $\mathbb E|X-Y|=0$. Thus $X=Y$ almost surely.