es37

  Basta ridurre il termine secondo la strategia Leftmost-Outermost. 
    Se il termine ha forma normale questa verra' sicuramente raggiunta utilizzando tale strategia. 
    
    Se l'insieme dei termini con forma normale fosse decidibile, allora la funzione di halt del teorema 11 delle note di Paulson sarebbe lamba definibile,
     il che e' impossibile.