Изменения

Пусть <tex>|v|=|y|=t</tex>, тогда возьмём слово <tex>q=uv^{\frac{n!}{t} + 1}xy^{\frac{n!}{t} + 1}z</tex>. По лемме Огдена слово <tex>q</tex> принадлежит языку, а также существует нетерминал <tex>A</tex> такой, что с помощью него можно породить слово <tex>q</tex>.

Теперь рассмотрим слово <tex>0^{k+k!} 1^k 2^k</tex>, в котором отмечены все двойки. Аналогичными рассуждениями мы получаем, что слово <tex>q</tex> принадлежит языку, а также существует нетерминал <tex>B</tex> такой, что с помощью него можно породить слово <tex>q</tex>.

Очевидно, что поддеревья, соответствующие <tex>A</tex> и <tex>B</tex> - разные деревья и одно не является потомком другого.