Reflection principle for simple symmetric random walk

Let $S_0=0$ be a simple symmetric random walk, let $T_a$ be its first hitting time of the positive integer $a$, and reverse every increment after $T_a$. The resulting path is again a simple symmetric random walk. Consequently,