es63

No. 
Il primo e' beta convertibile a (DDDx)(DDDy), mentre il secondo a (DDDy)(DDDx). 
Se i due termini dati fossero beta-convertibili, allora, per il teorema di Church-Rosser dovrebbero avere un ridotto comune,
 il che e' impossibile, visto che sia in (DDDx)(DDDy) che in (DDDy)(DDDx) possono solamente ridursi a se stessi 
ed hanno variabili libere distinte nelle stesse posizioni.