Solution
= Solution
<Independence> makes a difference of the two normal sample means normal, with means subtracting and <variances> adding. Therefore
$$
\boxed{\overline X-\overline Y\sim N\left(\mu_X-\mu_Y,\ \sigma^2\left(\frac1m+\frac1n\right)\right).}
$$