Acomodando la implementación de LambdaLeq.