, x k ) → r in P be a non-initial production such that pos A (r) = ∅.
for every other production ρ = → r in P and J ⊆ pos ρ ∅ = ρ for every production ρ , so every production besides the eliminated production ρ is preserved.