Entonces se tiene: