entonces se cumple: