pumping lemma proof