Wenn bei der Zerlegung x y z das |y| > 0 sein soll. warum darf man dann bei einem Beweis von L = {a^n b^n | n>= 0} und einem ansatz von a^p b^p wobei p = die anzahl der Zustände ist, x y^0 z wählen?

Ich mein wenn |y| nicht 0 betragen darf warum darf ich dann y^0 setzen? Ist doch ein wiederspruch oder?