Discrete Math. and Logic II. Using Pumping Lemma