Completando la prueba de continuidad de las ecuaciones de lambda arrow. Caso abstracción lambda ( por fin :) )