I need to show that the Ornstein-Uhlenbeck process, $$ dX_t = -\theta X_tdt + dB(t) $$ Where $X_0=0$, $B(t)$ is Brownian motion and $\theta>0$
can be written explicitly as: $$ X_t=B(t) - \theta \exp(-\theta t)\int_0^t\exp(\theta s)B(s)ds $$
I can use Ito's lemma to get it to the form $X_t = \exp(-\theta t)\int_0^t\exp(\theta s)dB(s)$, but this isn't quite what I want, and am not certain how to proceed
Hint It follows from Itô's formula that
$$\exp(\theta t) \cdot B_t = \int_0^t \exp(\theta s) \, dB_s + \theta \int_0^t \exp(\theta s) B_s \, ds,$$
i.e.
$$ \int_0^t \exp(\theta s) \, dB_s = \exp(\theta t) \cdot B_t - \theta \int_0^t \exp(\theta s) B_s \, ds.$$