Entonces se tiene que: