Dies ist eine einfache Anwendung des Pumping Lemma. Wir wissen aus dem Beweis des PL, dass die im PL erwähnte Schranke n einfach die Zahl der Zustände eines Automaten ist, der die fragliche Sprache erzeugt. Diese Schranke ist im Beispiel drei, wir haben aber ein längeres Wort, mithin muss es eine Zerlegung xyz von amtmta geben, so dass auch xyⁱz noch in der Sprache ist. Damit ist sie aber unendlich.