Solution (source code)

= Solution

For $0\le s<t$, linearity of the <isonormal Gaussian process> gives
$$
W_t-W_s=X(\mathbf1_{(s,t]})\quad\text{almost surely}.
$$
The squared $L^2$ norm of this indicator is $t-s$, so part (a) yields
$$
\boxed{W_t-W_s\sim N(0,t-s).}
$$
Also, the <covariance> formula gives $\operatorname{Cov}(W_s,W_t)=s\wedge t$, the <Brownian covariance kernel>. The Gaussian statement concerns the signed increment.