Entonces, tenemos: