es61

Sono beta-convertibili, 
basta vedere che (modulo alfa-conversione) 
(DDD)((\x.xxx)D) <-- ((\x.xxx)D)((\x.xxx)D) --> ((\y.yyy)D)(DDD) 
oppure che 
(DDD)((\x.xxx)D) --> (DDD)(DDD) <-- ((\y.yyy)D)(DDD)