I n order to prove the lemma we will start by considering a random walk with no boundary, that is, the random variable S(n) ha s an initial state of S'(O) = i > 0 and S(k) is allowed to wander into negative territory (an d back) arbitrarily. In this situation