Prove that $ P(T>n)=P\left(X_{n}>Y_{n}\right)-P\left(X_{n}I am having a very hard time proving the below statement. I keep getting the wrong result so I feel like I am using the wrong probability identities. I would appreciate any help!
$\operatorname{Let}\left(X_{n}\right)_{n \geq 0}$ and $\left(Y_{n}\right)_{n \geq 0}$ be two independent simple symmetric random walks with $X_{0}=x$ and $Y_{0}=y$ where $x, y$ have the same parity and $x>y$
Define $T=\inf \left\{n \geq 1: X_{n}=Y_{n}\right\}$. Prove that
$$
P(T>n)=P\left(X_{n}>Y_{n}\right)-P\left(X_{n}<Y_{n}\right)
$$
This is what I did:
$$
P\left(T_{a}>n\right)=1-\mathbb{P}\left(T_{n} \leq n\right)
$$
By theorem 29 , since $X_{n}$ and $Y_{n}$ are simple symmetric random walk then:
$$
P_{0}\left(T_{a} \leq n\right)=2 P_{0}\left(X_{n} \geq a\right)-P_{0}\left(X_{n}=a\right)
$$
Hence:
$$
\begin{aligned}
&\mathbb{P}\left(T_{n}>n\right)=1-2 P\left(X_{n} \geq Y_{n}\right)+P\left(X_{n}=Y_{n}\right)\\
&=1-2 P\left(X_{n}>Y_{n}\right)-2 P\left(X_{n}=Y_{n}\right)+P\left(X_{n}=Y_{n}\right)\\
&=1-2 P\left(X_{n}>Y_{n}\right)-P\left(X_{n}=Y_{n}\right)
\end{aligned}
$$
$$
1-P\left(X_{n}=Y_{n}\right)=P\left(X_{n}>Y_{n}\right)+P\left(X_{n}<Y_{n}\right)
$$
$$
\begin{aligned}
P\left(T_{a}>n\right) &=R\left(X_{n}>Y_{n}\right)+P\left(X_{n}<Y_{n}\right)-2 P\left(X_{n}>Y_{n}\right) \\
&=\mathbb{P}\left(X_{n}<Y_{n}\right)-\mathbb{P}\left(X_{n}>Y_{n}\right)
\end{aligned}
$$

$Z_n=X_n-Y_n$ is walk with $Z_0=x-y$ but with steps $-2, 0, 2$, now:
$$P(Z_n=k|T<n)=P(Z_n=-k|T<n)$$
$$\forall k>0: P(Z_n=k) = P(Z_n=k|T>n)+P(Z_n=k|T<n)= \\ =P(Z_n=k|T>n)+P(Z_n=-k|T<n) => \\
P(Z_n=k|T>n)=P(Z_n=k)-P(Z_n=-k|T<n)$$
now
$$L=P(T>n) = \sum_{k=1}^{2n+Z_0}P(Z_n=k|T>n) = \sum_{k=1}^{2n+Z_0}(P(Z_n=k)-P(Z_n=-k|T<n))= \\ =\sum_{k=1}^{2n+Z_0}P(Z_n=k)-\sum_{k=1}^{2n+Z_0}P(Z_n=-k|T<n)=P(Z_n>0) - P(Z_n < 0) =\\ =P(X_n>Y_n)-P(X_n<Y_n)=R$$
