1: \begin{lem}[Pumping Lemma for \cf\ \lan s]\label{lem:pumpCF}

2: Let $A$ be a \cf\ \lan. There is a number $p$ (the pumping

3: length) so that if $s$ is any word in $A$ of length at least $p$,

4: then $s$ may be divided into five pieces $s=uvxyz$ such that \bi

5: \item For each $i\geq 0$, $uv^ixy^iz\in A$ \item $|v|,|y|>0$ \item

6: $|vxy|\leq p$ \ei

7: \end{lem}

8: