También se tiene que: