Escribiendo teorema de coherencia para lambdaleq.