Entonces se cumple que: