If \(A\) is a regular language, then there is a number \(p\) (the pumping length) where is \(s\) is any string in \(A\) that is at least length \(p\), then \(s\) may be divided into three pieces, \(s=xyz\), satisfying the following conditions:

- for each \(i \geq 0\), \(xy^iz \in A\)
- \(|y| \gt 0\)
- \(|xy| \leq p\)