I'm folowing the proof of corollary 1.8 page 5 [ https://www.math-berlin.de/images/stories/lecnotes_moerters.pdf]

i want to show that $$\forall x,y \in \mathbb{R}^d , P_x\{y\in B]0,1]\}=0$$ where $B$ is a d dimentional Brownian motion.

we will use the Lévy's theoreme that say: $$\mathcal{L}_2(B[0,1])=0 \hspace{0.5cm} \text{almost surely.}$$

$\bullet$ in the first step we will show that $$\forall y \in \mathbb{R}^d,  P_x\{y\in B[0,1]\}=0  \hspace{0.5cm} \text{for $\mathcal{L}_2$-almost every} x \in \mathbb{R}^d$$

for any fixed $y\in\mathbb{R}^d$\begin{eqnarray*}
        \int_{\mathbb{R}^2}P_{y}(x\in B[0,1])dx&=&\int_{\mathbb{R}^2}\int_\Omega 1_{\{x\in B[0,1]\}}(\omega)dP_y(\omega)dx\\&=&\int_{\mathbb{R}^2}\int_\Omega 1_{B[0,1](\omega)}(x)dP_y(\omega)dx\\&=&\int_\Omega \int_{\mathbb{R}^2}1_{B[0,1](\omega)}(x)dxdP_y(\omega)\hspace{0.5cm} \text{par Tonelli}\\&=&
        \int_\Omega \mathcal{L}_2(B[0,1](\omega))dP_y(\omega)\\&=&
        E_{y}(\mathcal{L}_{2}(B[0,1])=0\\
    \end{eqnarray*}
so $$P_x\{y\in B[0,1]\}=0  \hspace{0.5cm} \text{foralmost every} x \in \mathbb{R}^d$$
(now how can we get rid of the "for almost every x"?)
$\bullet$ in the second step he show by symetry of Brownian motion that: (but i don't know where did he use it) \begin{eqnarray*}
        P_{x}(y\in B[0,1])&=&P_{0}(y-x\in B[0,1])\\&=&P_{0}(y-x \in -B[0,1])\\&=&P_{y}(x\in B[0,1])=0\\
    \end{eqnarray*}
$\bullet$ in the third and last step he will get rid of the "for almost every x"
we will show that $\forall \epsilon >0, $ we have almost surely $P_{B(\epsilon)}\{y\in B[0,1]\}=0$ and we will find the result by sending $\epsilon$ to zero
  \begin{eqnarray*}
        P_{x}\{y\in B]0,1]\}&=&P_{x}\{y=B_t / t\in ]0,1]\}
        \\&=&P_{x}(\underset{\epsilon>0}{\cup}\{ y=B_t / t\in ]\epsilon,1]\})\\&=& \underset{\epsilon \rightarrow 0}{lim}P_{x}\{ y=B_t / t\in ]\epsilon,1]\}
        \\&=& \underset{\epsilon \rightarrow 0}{lim}P_{x}\{ y=B_{t+\epsilon} / t\in ]0,1-\epsilon]\}
        \\&=& \underset{\epsilon \rightarrow 0}{lim}P_{x}\{ y=B_{t+\epsilon}-B_\epsilon +B_\epsilon / t\in ]0,1-\epsilon]\}\\&=&
        \underset{\epsilon \rightarrow 0}{lim}P_{x}\{ y=B_t+B_\epsilon / t\in ]0,1-\epsilon]\}\\&=&
         \underset{\epsilon \rightarrow 0}{lim}P_{B\epsilon}\{ y=B_t+x / t\in ]0,1-\epsilon]\}\\&=&
         \underset{\epsilon \rightarrow 0}{lim}\int_\Omega 1_{\{y=B_t+x / t\in ]0,1-\epsilon]\}}(\omega)dP_{B(\epsilon)}(\omega)\\
    \end{eqnarray*}
 
    i'm tsuck here , how did he find the result , how can i use the transfert formula to find the $E_x$