es35

  (\xxx.((\xx.x)(xx)(\x.x)))x(xx) --> (\xx.((\xx.x)(xx)(\x.x)))(xx) --> 
     --> \x.((\xx.x)(xx)(\x.x)) --> \x.((\x.x)(\x.x)) --> \x.(\x.x) 
