y sustituyendo, tenemos que: