Доказательство В силу следствия считаем данную грамматику приведенной, эпсилон-свободной, ацикличной.
