Entonces tenemos