Réponse:   La règle E ® gEdE est une règle dérivée dans G₁ par E ® EE ® gEdE. On ne change pas le langage reconnu par G₁ en lui ajoutant cette règle dérivée (on appelle G₁' la grammaire résultante). La grammaire G₂ peut être plongée de façon homomorhe dans la grammaire G₁'. En effet, au renommage des non-terminaux près, ses règles sont incluses dans celles de G₁'. Une dérivation de G₂ est donc aussi une dérivation de G₁' au renommage des non-terminaux près. Ainsi tout mot reconnu par G₂ est aussi reconnu par G₁' et appartient donc à L.