Pumping Lemma: contraddiction between y ≠ ε and k ≥ 0