Pumping lemma

From CS2800 wiki