Entonces se tiene que