1: \begin{proof}

2: Let $U\sim\WW_\sigma^{(x)}$ and let $\BB_\sigma^{(x,y)}$ denote the law on $C([0,\Delta])$ of $U$ conditional on $U_\Delta=y$. We define the conditional law rigorously via disintegration (eg.\ see \cite{Pollard2001} Chapter 5, Theorem 9, applied to $\lambda=\WW_\sigma^{(x)}$, $\Xx=C([0,\Delta])$ with the sup norm, $T((U_t)_{t\leq \Delta})=U_\Delta$ and $\mu(\dy)=p^*(\Delta,x,y)\dy$), so that 

3: \begin{equation*}\label{eq:disintegration}%\tag{\dagger} 

4: E_{\WW_\sigma^{(x)}}[f(U)]=\int_{-\infty}^\infty p^*(\Delta,x,y) E_{\BB_\sigma^{(x,y)}}[f(U)]\dy, \end{equation*}

5: for all non-negative measurable functions $f$. 

6: Taking $f(U)=\tilde{p}_0(U)\II\braces{U_\Delta\in A}$ for an arbitrary Borel set $A\subseteq \RR$, we see

7: \[ P_{b_0}^{(x)}(X_\Delta\in A) = \int_{-\infty}^{\infty} p^*(\Delta,x,y)\II\braces{y\in A}E_{B_\sigma^{(x,y)}}[\tilde{p}_0]\dy.\] The result follows.

8: \end{proof}