Entonces, se cumple que