Пусть - Эпсилон-свободная грамматика. Тогда существует эквивалентная ей грамматика без левой рекурсии. Поолучить эпсилон-свободную грамматику из произвольной КС-грамматики можно, воспользовавашить алгоритмом из теоремы.
Доказательство
Доказательство проводится через алгоритм