Доказательство

Считаем, что имеем грамматику, полученную после применения леммы к исходной КС-грамматике. Затем