Ad ogni modo è dimostrato il teorema che garantisce che data una grammatica  le cui regole di produzione P possono essere separate in due sottoinsiemi contenenti uno le produzioni vuote e l'altro le produzioni di tipo regolare, allora esiste una grammatica regolare  formata dalla grammatica  a cui sono state eliminate le produzioni vuote.
ad ˌoɲɲɪ mˈɔdo e dimostrˈato il teorˈɛma ke ɡaɾantˈiʃe ke dˈata ˌʊna ɡrammˈatika le kˈuj rˈɛɡole dɪ prodʊtsiˈone pˈi pˈɔssono ˈɛssere sepaɾˈate in dˈue sotːoinsjˈemɪ kontenˈɛntɪ ˈuno le prodʊtsiˈonɪ vʊˈɔte e lˈaltro le prodʊtsiˈonɪ dɪ tˈipo reɡolˈare, allˈora ezˈiste ˌʊna ɡrammˈatika reɡolˈare formˈata dˌalla ɡrammˈatika a kˈuj sˌono stˈate eliminˈate le prodʊtsiˈonɪ vʊˈɔte.