es74

I due termini si possono ridurre allo stesso termine (y). 
Dunque sono beta convertibili poiche' la relazione di beta conversione 
coincide con la chiusura transitiva e simmetrica della beta-riduzione a piu' passi.