For , write . Deterministic integrals of the Gaussian process are Gaussian, as follows by taking limits of Riemann sums, so is jointly Gaussian. For , integrating the Brownian covariance kernel gives
For the last equality, integrate over and divide by . Consequently
The only nonzero choice giving Brownian covariance is ; even the variance condition at requires .
Define . Since almost surely as , the transformed process is continuous at zero, as well as at positive times. It is centered Gaussian and has covariance , so part (c) proves
The transformed process is Brownian in its own natural filtration. This is the Brownian motion transform by three times its running average. The filtration qualification matters: for ,
which is not identically zero. The Gaussian covariance calculation identifies the Brownian filtration generated by ; it does not make the transformed process a martingale in the larger original Brownian filtration.