es33
  
  Il termine non possiede forma normale. 
  Infatti e' possibile ridurlo solo nel modo seguente:
  (\xy.yx)(\xy.x(yy))(\x.xz(\y.yy)) --> (\x.xz(\y.yy))(\xy.x(yy)) --> 
  --> (\xy.x(yy))z(\y.yy) --> (\y.z(yy))(\y.yy) --> x((\y.yy)(\y.yy)) 
  e da qui si puo' solo continuare a ridurre all'infinito il sottotermine (\y.yy)(\y.yy)