. An analogous argument follows if it goes to $q_0$.  If it goes to $q_0$, it must return to $q_0$ upon some , as it cannot continue the run on $\#$. Yet, as there is no cheating, it returns to $q_0$ wh