tenemos que: