1: \begin{lemma}[The Buffer Pumping Lemma]

2: 	The buffer $B$ is extended by a new character $c$ during Ukkonen's suffix tree construction algorithm without inflicting the expansion of a tree, iff $c$ corresponds to the next character in a repetitive pattern $P$ inside $B$.

3: \end{lemma}

4: