Angenommen L ist regulär. Seien n,m ∈ ℕ mit m > n. Ferner sei uvw eine Zerlegung von z:=bambamb ∈ L, so dass
Eine solche Zerlegung existiert aufgrund des Pumping-Lemmas.
Dann ist entweder v = bai für ein i ∈ ℕ oder v = ai für ein i ∈ ℕ. In beiden Fällen ist uv2w ∉ L, was ein Widerspruch zum Pumping-Lemma ist.