es69

L'insieme dato non e' chiuso per beta conversione. 
Prendiamo infatti un M che appartiene all'insieme dato. 
Prendiamo x che non appartiene alle variabili libere di M. 
Allora (\x.M)((\y.yy)(\y.yy)) e' beta convertibile ad M (in particolare si riduce ad M in un passo). 
E' chiaro che (\x.M)((\y.yy)(\y.yy)) e' normalizzabile, 
ma ci vogliono ora almeno k+1 passi per arrivare alla forma normale.