entonces se cumple que