es28

  Se siete riusciti a produrre un lambda-termine con la proprieta'
  richiesta, ristudiate il lambda-calcolo, c'e' qualcosa che non va
  (in voi o nel lambda-calcolo...)