Entonces, finalmente tenemos que