Entonces se cumple