es54_wrong

Dim.: 
sia N un \-termine che non contiene x. 
Allora vale sempre (\x.Mx)N = Mx [N/x] = MN
 Leggendo il primo e l' ultimo membro dell' uguaglianza otteniamo 
(\x.Mx)N=MN 
ovvero 
\x.Mx=M 
c.v.d.