اگه n اول باشه فکر نکنم منظم و مستقل از متن باشه. از لم تزریق استفاده میکنیم:
فرض کنین a^m رشته پذیرفته شده از این زبان باشه یعنی m اول و فرد باشه.
رشته رو ب فرم uvxyz میشکنیم به شرطی که
t=|vy| بزرگتر یا مساوی یک و اندازه |vxy| کوچکتر یا مساوی m باشه. در این صورت داریم:
uvxyz=am∈L
uvixyiz=am(i−1)t;1≤t≤m
باید ثابت کنیم که رشته
uvixyiz عضو L نیست. به عبارت دیگر m+(i-1)t اول نیست.
میتونیم مقدار i رو برابر m+1 درنظر بگیریم. پس داریم:
m(m1−1)t=mmt=m(t1);1≤t≤m
که عبارت فوق طول رشتمونه. پس:
uvxyz=am∈L
uvm1xym1z=am(t1)∉L;1≤t≤m
پس مستقل زبانمون از متن نیست.