Ahora, al reemplazar, se tiene: