Изменения
Нет описания правки
Обозначим длину порождения за <tex>p</tex>.<br/>
:'''Базис'''. <tex>p = 1</tex><br/>
<tex>A \rightarrow w</tex> является правилом в <tex>G</tex>. Поскольку <tex>w \ne \varepsilon</tex>, эта это же правило будет и в <tex>G'</tex>, поэтому <tex>A \overset{*}{\underset{G'}{\Rightarrow}}w</tex>.
:'''Предположение'''. Пусть из <tex>A \overset{*}{\underset{G}{\Rightarrow}}w</tex> и <tex>w \ne \varepsilon следует, что A \overset{*}{\underset{G'}{\Rightarrow}}w </tex> верно для <tex>p < n</tex>.<br/>
:'''Переход'''. <tex>p = n</tex><br/>
