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