sustituyendo tenemos: