Super avance para el caso de la abstracción lambda.