Entonces tenemos: