Solution (source code)

= Solution

Independence makes the joint law of $(X_n,Y_n)$ the product of its marginal laws. Weak convergence of both marginals implies convergence of these product measures to the product law of independent copies $(X,Y)$. The addition map is continuous, so the <continuous mapping theorem> gives $X_n+Y_n\xrightarrow dX+Y$.