Man kann die Argumentation auch mit i=0 führen.
vx enthält kein c: Wort z' enthält weniger a’s und/oder weniger b’s als z. Die Anzahl der c's bleibt aber gleich -> z' ist nicht Teil der Sprache
vx enthält kein a: für jedes "gelöschte" b müssen k c's "gelöscht" werden -> vx muss mindestens k+1 Zeichen enthalten oder leer sein -> Widerspruch -> z' ist nicht Teil der Sprache
Viele Grüße
Philipp (Tutor)