es3


Una possibilit  la seguente: 

  (\vwx.(z\z.x))(x\y.(y(\t.z)yy)) 
