es66

E' ricorsivo. 
Per vedere se un termine appartiene all'insieme dato basta ridurre tutti i beta redessi in esso contenuti 
e controllare se quella ottenuta e' una forma normale.